git-rev fix