graydon/bors — pull request #28 by reiddraper (2014-03-28 20:45:59+00:00)
Title: Optionally delete the pull-request source branch

If `delete_source_branch` is set to true in the config, bors will
automatically try and delete the source branch once the pull-request has
been succesfully merged. When no value is set in the config, bors will
_not_ delete the feature branch.