В текущем состоянии Git существует ли разница между git push --force-with-lease origin +somebranch
, git push --force-with-lease origin somebranch
и git push origin +somebranch
(без плюса)? Кажется, что все трое делают то же самое.
Я попытался найти документацию. Я попытался просмотреть refspec в документации, но я не знаю, есть ли разница, и если да, то какой из них следует предпочесть по умолчанию когда мне нравится, например, тянуть к рабочему ветку через git pull --rebase origin master
.