have met a problem about git push