git migrate repository with pull requests