git-repo-1.20, update and pin python