Changes to bors

This commit is contained in:
Pavan Kumar Sunkara 2020-02-20 21:52:52 +01:00
parent 28c46b5965
commit e93ea28971
2 changed files with 4 additions and 7 deletions

View file

@ -1,8 +1,5 @@
<!-- DO NOT DELETE THIS LINE! Internal hack, the shame is on you, bors! -->
<!--
If your PR closes some issues, please, put `Closes #XXXX`
lines to this comment (no quotes), where `XXXX` is the number
of the issue you want to fix. Each issue goes on it's own line.
YOUR COMMENT GOES BELOW
If your PR closes some issues, please write `Closes #XXXX`
where `XXXX` is the number of the issue you want to fix.
Each issue goes on it's own line.
-->

View file

@ -9,5 +9,5 @@ pr_status = [
timeout_sec = 7200
prerun_timeout_sec = 7200
delete_merged_branches = true
cut_body_after = "<!-- DO NOT DELETE THIS LINE!"
cut_body_after = ""
block_lables = ["R: blocked", "R: require changes"]