这是一个创建于 589 天前的主题，其中的信息可能已经有所发展或是发生改变。
 | 1 atongrun OP 我需要：git push origin HEAD:refs/for/develop ，默认的应该只是 git push origin ？ |
 | 2 lzxz1234 2024 年 8 月 12 日 直接用 git 的 alias 不可以吗 |
 | 3 weixiangzhe 2024 年 8 月 12 日 |
 | 4 AoEiuV020JP 2024 年 8 月 12 日 特殊情况不如直接用命令行， 图形界面就只适合做最基础最普通的操作， |
 | 5 jim9606 2024 年 8 月 12 日 via Android 看上去你只是想 push 到 origin 上一个不同名的分支 了解下 git push --set-upstream |
Select Language