Minor bug fixes to Git
Merge branch 'master' of https://github.com/eskang/validAlloy

Conflicts:
	src/git.als