# Don't forget to update permissions and add this repo in
# https://app.bors.tech/repositories so bors can see the new repo!

status = [
  "ci/circleci: ci_success",
]
timeout_sec = 300
delete_merged_branches = true