developer24hours
Monday, December 17, 2012
Git - deleting a remote branch from github
git push origin :{branch_to_be_deleted}
No comments:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment