# 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