On Sun, Jan 26, 2014 at 15:44:17 +0000, Steve Fryatt wrote: > PS: Should I be deleting my branches once they're merged? If so, what's the > preferred way to do it?
Yes, an easy way to tell if your branches on the server have been merged is: git checkout origin/master (this detaches you but it's okay) git branch -r --merged git checkout mybranchname Any of the merged branches which are yours can be removed with: git push --delete origin branchname e.g. git push --delete origin stevef/mad-riscos-badgers D. -- Daniel Silverstone http://www.netsurf-browser.org/ PGP mail accepted and encouraged. Key Id: 3CCE BABE 206C 3B69
