fix buglet in finalize-new-git-repo