Skip to content

Commit

Permalink
Merge go-debos#111
Browse files Browse the repository at this point in the history 
111: bors: Delete merged branches on main repository r=sjoerdsimons a=obbardc

Once bors merges a branch from the main (i.e. this) repository, the original wip branch isn't removed. Add the configuration to delete the branch after the merge has completed.

Signed-off-by: Christopher Obbard <[email protected]>

Co-authored-by: Christopher Obbard <[email protected]>
  • Loading branch information
@bors @obbardc
bors[bot] and obbardc authored Oct 4, 2022
2 parents 9d909e0 + 58b2e62 commit ad12de2
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions bors.toml
View file
Original file line number Diff line number Diff line change
@@ -1 +1,2 @@
status = [ "bors" ]
delete_merged_branches = true

0 comments on commit ad12de2

Please sign in to comment.