Updated to git-repo v1.12.37