Skip to content

Instantly share code, notes, and snippets.

@martinholub
Created December 8, 2020 09:57
Show Gist options
  • Select an option

  • Save martinholub/5c9fadfd6e9e46a7a5b84b7c814d6c4e to your computer and use it in GitHub Desktop.

Select an option

Save martinholub/5c9fadfd6e9e46a7a5b84b7c814d6c4e to your computer and use it in GitHub Desktop.

Revisions

  1. martinholub created this gist Dec 8, 2020.
    2 changes: 2 additions & 0 deletions delete_branch.sh
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,2 @@
    git push -d <remote_name> <branch_name>
    git branch -d <branch_name>