Git - move pushed commits to a new branch (rename branch instead of force pushing?)
问题 There is another question that describes my situation almost exactly (Git - Moving Pushed Commits to a Different Branch). The only difference is that the commits that I would like to move are in the Develop branch rather than master (which shouldn't matter because there's nothing special about the master branch). Also, we have redmine linked to our git repositories. Anyway, there was a comment by user Adam to the accepted answer: Don't ever use push --force, it's a bad idea. It will seriously