How do I delete a Git branch locally and remotely? Don't forget to do a git fetch --all --prune on other machines after deleting the remote branch on the server ||| After deleting the local branch with git branch -d and deleting the remote branch with git push origin --delete other machines may still have "obsolete tracking branches" (to see them do git branch -a)
How do I clone a specific Git branch? - Stack Overflow @aderchox, no it will actually fetch all the content It is pretty smart about things it transfers when you update, but when you clone a big repository it actually pulls the history, unless you explicitly tell it not to
How to fix this error A failure occurred while . . . - Stack Overflow Had same issue, proposed solutions did't work for me In my case problem was caused by signing config: I did set storePassword field, but didn't set keyPassword field in my signingConfigs section (passwords were same)
To rename a local branch - Stack Overflow There are a few ways to accomplish that: Change your local branch and then push your changes; Push the branch to remote with the new name while keeping the original name locally