mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2024-12-29 04:50:03 +01:00
CI: bors.toml: set cut_body_after
This commit is contained in:
parent
fd5a6de2e9
commit
7972407666
@ -33,3 +33,10 @@ delete_merged_branches = true
|
||||
# possible intermediate PR builds into accound.
|
||||
# let's try ten hours (36000s)
|
||||
timeout_sec = 36000
|
||||
|
||||
# "A marker in the PR description that indicates boilerplate that does not
|
||||
# belong in the commit message."
|
||||
#
|
||||
# This basically cuts the whole description, which in our PR template starts
|
||||
# with a comment:
|
||||
cut_body_after = "<!--"
|
||||
|
Loading…
Reference in New Issue
Block a user