Skip to content

Instantly share code, notes, and snippets.

@AndreaPasqualini
Last active June 20, 2019 14:25
Show Gist options
  • Save AndreaPasqualini/1c5dbb033fc3edd9e383223e903ceb31 to your computer and use it in GitHub Desktop.
Save AndreaPasqualini/1c5dbb033fc3edd9e383223e903ceb31 to your computer and use it in GitHub Desktop.
A set of commands to easily and safely archive Git branches after they've been merged.
git tag archive/<branch_name> <branch_name>
git push --tags
git push --delete <remote> <branch_name>
git branch -d <branch_name>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment