Can bors-ng delete the branch after it has merged?

Support
#1

Hi,

I’ve set up bors-ng with buildbot.

Can bors-ng delete the branch after it has auto-merged so that we don’t have to manually click it?

Thanks

1 Like
#2

This issue perhaps suggests that bors should be able to delete branches:
https://github.com/bors-ng/bors-ng/issues/525

I guess I just need to know how to turn it on!

#3

OK, I just found out how by reading the source code:

delete_merged_branches = true in bors.toml.

It's also mentioned here:

3 Likes