Skip to content

Instantly share code, notes, and snippets.

@jd
Created October 21, 2021 19:13
Show Gist options
  • Save jd/7c82a1edd6d2989a7d5a1cac97557d2a to your computer and use it in GitHub Desktop.
Save jd/7c82a1edd6d2989a7d5a1cac97557d2a to your computer and use it in GitHub Desktop.
update on label
pull_request_rules:
# If a a pull request has this label, try to update it
- name: update on label
conditions:
- label=needs-update
actions:
update:
# If a PR is up-to-date, make sure it does not have the `needs-update` label
- name: clear update label
conditions:
- #commits-behind=0
actions:
label:
remove:
- needs-update
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment