Skip to content

Instantly share code, notes, and snippets.

@johnzenith
Last active July 29, 2022 12:42
Show Gist options
  • Select an option

  • Save johnzenith/346d4240f48f9917fe52dd201979448c to your computer and use it in GitHub Desktop.

Select an option

Save johnzenith/346d4240f48f9917fe52dd201979448c to your computer and use it in GitHub Desktop.
// Delete remote branch
git push origin --delete branch-name-to-delete
// Delete local branch
$ git branch -D <branch_name>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment