![]() |
1
atongrun OP 我需要:git push origin HEAD:refs/for/develop ,默认的应该只是 git push origin ?
|
2
lzxz1234 2024-08-12 07:59:27 +08:00
直接用 git 的 alias 不可以吗
|
![]() |
3
weixiangzhe 2024-08-12 09:37:40 +08:00
|
![]() |
4
AoEiuV020JP 2024-08-12 09:50:14 +08:00
特殊情况不如直接用命令行, 图形界面就只适合做最基础最普通的操作,
|
![]() |
5
jim9606 2024-08-12 10:34:47 +08:00 via Android
看上去你只是想 push 到 origin 上一个不同名的分支
了解下 git push --set-upstream |