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