How to Delete a git Remote Branch

By  on  

Keeping a tidy repository is important; not just a tidy codebase, but a tidy repository in as far as not having spare branches rotting around.  Generally the main repository doesn't keep multiple branches but sometimes you need to push to a main repository simply to get Travis CI to run tests.  Once a branch is merged, for example, we no longer need it around.

Deleting a branch on a local host machine repo is easy:

git branch -d <branch_name>

To remove a branch from the remote git repository, like a GitHub-hosted repository, you can execute:

git push <remote_name> --delete <branch_name>

If you learned something here, check out Delete Merged Branches with git!

Recent Features

Incredible Demos

  • By
    Spyjax:  Ajax For Evil Using Dojo

    The idea of Spyjax is nothing new. In pasts posts I've covered how you can spy on your user's history with both MooTools and jQuery. Today we'll cover how to check user history using the Dojo Toolkit. The HTML For the sake of this...

  • By
    Facebook-Style Modal Box Using MooTools

    In my oh-so-humble opinion, Facebook's Modal box is the best modal box around. It's lightweight, subtle, and very stylish. I've taken Facebook's imagery and CSS and combined it with MooTools' awesome functionality to duplicate the effect. The Imagery Facebook uses a funky sprite for their modal...

Discussion

  1. It is even easier to delete a remote branch!

    git push origin :BRANCH_NAME

    Note the colon before the branch.

  2. You can also do

    git push :BRANCH_NAME

    – Note the colon, that states to delete the remote branch!

    • So it seems like it parsed my placeholders as HTML;

      git push origin :develop
      

      Would delete develop branch on the origin remote.

Wrap your code in <pre class="{language}"></pre> tags, link to a GitHub gist, JSFiddle fiddle, or CodePen pen to embed!