Stream: committers/announce
Topic: Delete after merge
Lloyd McKenzie (Oct 30 2018 at 03:05):
When you merge a branch in the Git interface, the completion screen shows an option to delete the branch. Don't forget to click on that - otherwise we end up with a clutter of branches on the server side. (You should also delete the branch on the client side after you've switched out of it)
John Moehrke (Oct 30 2018 at 12:23):
thanks. can this instruction be addded to the wiki instructions?
Last updated: Apr 12 2022 at 19:14 UTC
