我需要你的帮助来重命名一个远程分支。
我创建了一个PR,但现在我需要重命名远程分支名称。
我不想遵循重新命名本地分支然后推送和删除旧分支的过程,因为这将清除PR。
是否有一种方法只重命名远程分支,而PR应该保持不变。谢谢。
我需要你的帮助来重命名一个远程分支。
我创建了一个PR,但现在我需要重命名远程分支名称。
我不想遵循重新命名本地分支然后推送和删除旧分支的过程,因为这将清除PR。
是否有一种方法只重命名远程分支,而PR应该保持不变。谢谢。
git push <remote> <remote>/<old>:refs/heads/<new> :<old>
其中remote
是显而易见的——例如,起点,old
和new
分别是旧分支和新分支的名称。
refs/heads/
前缀?省略它会提示我需要它。 - lucidbrot我不想按照流程重命名本地分支,然后推送并删除旧分支。
我认为没有其他方法。你可以尝试在PR界面更改分支,但我想你已经尝试过了。
Pull或Merge请求不是Git本身的一部分,而是托管服务(如GitHub或BitBucket)的功能。由于它是一个标准,因此实现完全取决于系统。