gitlabhq/gitlabhq — pull request #5705 by jacob-carlborg (2013-11-27 14:19:02+00:00)
Title: Add button for removing source branch for merged MR's.

This allows the author (or any other with push access to the source repository) of a merge request to remove the source branch after the merge request has been merged.