enso-org/enso
1
1
Fork 0
mirror of https://github.com/enso-org/enso.git synced 2024-12-22 13:21:35 +03:00
Code Issues Projects Releases Wiki Activity

Ready to merge no longer implies keeping up to date. (#6305)

Browse Source
This commit is contained in:
Michał Wawrzyniec Urbańczyk 2023-04-17 14:08:13 +02:00 committed by GitHub
parent 413661b366
commit bbf7d1d307
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.github/mergify.yml vendored
View File

@ -18,6 +18,5 @@ pull_request_rules:
conditions:
- or:
- "label=CI: Keep up to date"
- "label=CI: Ready to merge"
actions:
update: