Minor git-related stuff