diff --git a/.github/bors.toml b/.github/bors.toml index 1135db116..1ecc9d8de 100644 --- a/.github/bors.toml +++ b/.github/bors.toml @@ -1,3 +1,4 @@ status = [ "all", ] +delete_merged_branches = true