Add branch tips

Ben Goldsworthy 2021-04-17 00:29:20 +01:00
parent 694a4de113
commit b02628195f

@ -46,6 +46,11 @@ More information is available in the [Contributing guidelines][contributing].
1. Once you're ready, push your local commits (`git push`)
- for the first commit on a new branch, use (`git push -u origin <branch>`)
# Branches
1. You can delete local branches when you are done with them (`git branch -d <branch name>`)
1. You can also update your refs to reflect any remote branches that have been deleted (`git fetch --prune`)
# Rewriting history
**NOTE: IF YOU DO NOT KNOW EXACTLY WHAT YOU ARE DOING, DO NOT MESS AROUND WITH THE GIT HISTORY**