Elmpowered with elm trees on your side, you can do anything


Adding/Removing Branches on GitHub

Recently, GitHub added an auto merge button (detailed here). While this is a really nice feature, some comments raised a concern about auto-merging untested changes into your master branch. The response from GitHub --  don't target your master branch with pull requests. Create an "integration" branch. So, the question that came to my mind immediately was, "How do I add new branches to GitHub?"

Turns out, it's pretty darn easy. After creating the new branch in your local repo, add the new branch to GitHub with a simple git push:

git push origin integration

Conversely, if you want to remove a branch from GitHub:

git push origin :integration

See the git-push man page for more details (especially the examples section).

Tagged as: , , , No Comments