useful git commands I tend to forget

git-commands

# Git command to update remote origin
git remote set-url origin [[*.git]]

git push origin --delete [branch-name]


# If you are working in a branch that is/will become a pull-request against master, you can rebase against your master branch. Make sure it is up to date
(my-branch)$ git rebase -i master



git remote update --prune
git gc --prune=now