xcat-core/docs/source/developers/github/delete_branches.rst

Deleting Branches
=================

From Command Line
-----------------

Switch off the branch that you want to delete. Most of the time, switching to master will allow you to delete a working branch: ::

        $ git checkout master
        $ git branch -D mybranch

Delete the remote branch off GitHub: ::

        $ git push origin --delete mybranch
        Enter passphrase for key '/home/vhu/.ssh/github/id_rsa': 
        To git@github.com:whowutwut/xcat-doc.git
         - [deleted]         mybranch

Verify branch is gone: ::

        $ git branch -r
          origin/HEAD -> origin/master
          origin/large_cluster
          origin/master
          origin/sync
          upstream/master



Sync up GitHub and Local Machine
--------------------------------

There are times when you delete the branch off your local machine or from GitHub and it's become out of sync, you sync up the list, run the following: ::

        git remote prune origin