a couple touchups to git.py