[git] How to migrate GIT repository from one server to a new one