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


#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


#2

This issue perhaps suggests that bors should be able to delete branches:

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: