diff options
author | Bundlerbot <bot@bundler.io> | 2018-11-01 00:13:17 +0000 |
---|---|---|
committer | Bundlerbot <bot@bundler.io> | 2018-11-01 00:13:17 +0000 |
commit | 8197732a3dd9df3071cf61ba4644ea826160fe05 (patch) | |
tree | f84d38adb6017c3e00c385a147a0528ced29a48a | |
parent | 70f2afe1cfadfe888d6bd1100fac6672dd7baab6 (diff) | |
parent | 6a9129e5c627441a4e15ba7d0f7bdc45ec4bb3af (diff) | |
download | bundler-8197732a3dd9df3071cf61ba4644ea826160fe05.tar.gz |
Merge #6770
6770: delete merged branches automatically r=hsbt a=indirect
Use a fancy new Bors feature to delete merged branches automatically, hooray.
Co-authored-by: Andre Arko <andre@arko.net>
-rw-r--r-- | .github/bors.toml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.github/bors.toml b/.github/bors.toml index db93b69597..8f4d9a640a 100644 --- a/.github/bors.toml +++ b/.github/bors.toml @@ -2,7 +2,8 @@ status = [ "continuous-integration/travis-ci/push" ] -timeout-sec = 14400 +timeout_sec = 14400 +delete_merged_branches = true [committer] name = "Bundlerbot" |