# Test suite must pass on both Travis and GitLab before merging into `master`.
status = [
"continuous-integration/jenkins/%",
]
# Do not allow pull requests with these labels to be merged.
block_labels = [
"status: blocked",
"status: discussing",
"status: in progress",
"status: needs triage"
]
# This feature is rarely useful and more often problematic, so we turn it off.
delete_merged_branches = false
# Increase timeout to 5 hours as the default timeout is too short for our build
timeout_sec = 18000