[git] "did you run git update-server-info" error on a Github repository