mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2024-12-29 04:50:03 +01:00
Merge pull request #20052 from kaspar030/murdock_merge_trains
ci: build github merge train branches with murdock
This commit is contained in:
commit
9ba6eb2aee
@ -3,6 +3,8 @@ push:
|
||||
# these two enable potential bors support:
|
||||
- '^staging$'
|
||||
- '^trying$'
|
||||
# github merge trains:
|
||||
- '^gh-readonly-queue/'
|
||||
|
||||
pr:
|
||||
enable_comments: true
|
||||
|
Loading…
Reference in New Issue
Block a user