Question: "did you run git update-server-info" error on a Github repository