Scripts
Re-usable Bash scripts. Copy/paste the contents of a script below into a .sh
file and run chmod +x <name-of-file>.sh
to make it executable.
Prune git branches
After deleting a git branch from a remote, the local copy will still exist. Delete/"prune" all local git branches that do not exist on the remote: