git remote prune origin
Locally:
git branch -d <branch_name>
Remotely:
git push origin :<branch_name>
Last active
November 21, 2016 22:42
-
-
Save leesmith/88d21fd6706b1814332315b56cc9fa8e to your computer and use it in GitHub Desktop.
Git commands for keeping a tidy local repo
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment