Fix a bunch of stuff in the git/github lab