Skip to content

Instantly share code, notes, and snippets.

@ixiaohei
Created July 19, 2018 14:59
Show Gist options
  • Save ixiaohei/5864a09802b1924c821a9cacd8fc1837 to your computer and use it in GitHub Desktop.
Save ixiaohei/5864a09802b1924c821a9cacd8fc1837 to your computer and use it in GitHub Desktop.

git skills

delete remote branch after git 1.7.0

git push origin --delete <branchName>

delete remote tag after git 1.7.0

git push origin —delete tag <tagName>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment