1680: Cut merge commit's messages to the title of the PR r=pksunkara a=CreepySkeleton



Co-authored-by: CreepySkeleton <creepy-skeleton@yandex.ru>
This commit is contained in:
bors[bot] 2020-02-08 16:18:01 +00:00 committed by GitHub
commit ae2e00f418
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -9,4 +9,5 @@ pr_status = [
timeout_sec = 7200
prerun_timeout_sec = 7200
delete_merged_branches = true
cut_body_after = "\n\n"
block_lables = ["R: blocked", "R: require changes"]