Separate git repos, set up a script to pull them all more easily? git-stuff html lamarr programming-fundamentals