RawSushi's Tech Journal
My online tech scrapbook where I keep my notes in case I need to look them up later
Friday, June 15, 2012
Git: Deleting Branches, Locally and Remotely
Remotely:
git push origin :branchname
Locally:
git branch -d branchname
git branch -D branchname (to force to push through some warnings)
References:
http://gitready.com/beginner/2009/02/02/push-and-delete-branches.html
No comments:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment