Rumperuu/footnotes
Archived
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Updated Git Tips (markdown)

Ben Goldsworthy 2021-04-17 16:39:39 +01:00
parent b02628195f
commit f6e9009110
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Git-Tips.md

@ -50,6 +50,8 @@ More information is available in the [Contributing guidelines][contributing].
1. You can delete local branches when you are done with them (`git branch -d <branch name>`) 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`) 1. You can also update your refs to reflect any remote branches that have been deleted (`git fetch --prune`)
1. You can view all branches that you have a local copy of (`git branch`)
1. You can also view ALL branches, including those only on the remote (`git branch -a`)
# Rewriting history # Rewriting history