Skip to content

Commit

Permalink
Merge branch 'main' into chore/update-build-screengrabs-for-v1.130.0
Browse files Browse the repository at this point in the history
  • Loading branch information
osterman authored Dec 24, 2024
2 parents 5d15159 + b406027 commit d87e8b3
Showing 1 changed file with 37 additions and 0 deletions.
37 changes: 37 additions & 0 deletions .github/mergify.yml
Original file line number Diff line number Diff line change
@@ -1 +1,38 @@
extends: .github

shared:
# Automated pull requests from bot users
is_a_bot: &is_a_bot
- or:
- "author=github-actions[bot]"

# Default branches
is_default_branch: &is_default_branch
- or:
- "base=main"
- "base=master"

# It's not closed or merged
is_open: &is_open
- and:
- -merged
- -closed

pull_request_rules:
- name: Trigger workflow dispatch on PR synchronized by github-actions[bot]
conditions:
- and: *is_a_bot
- and: *is_open
- and: *is_default_branch

actions:
comment:
message: |
Triggering the workflow dispatch for preview build...
github_actions:
workflow:
dispatch:
- workflow: website-preview-build.yml
ref: "{{ pull_request.head.ref }}"
- workflow: test.yml
ref: "{{ pull_request.head.ref }}"

0 comments on commit d87e8b3

Please sign in to comment.