Re: Long URLs on RISC OS
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