Skip to content
This repository was archived by the owner on Feb 24, 2025. It is now read-only.

Implement mergify #104

Open
wants to merge 2 commits into
base: main
Choose a base branch
from
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
14 changes: 11 additions & 3 deletions .github/mergify.yml
Original file line number Diff line number Diff line change
@@ -1,17 +1,25 @@
queue_rules:
- name: default
conditions:
- label=ci:mergify
- base=main
- label=ci:ready_to_merge


pull_request_rules:
- name: push to default merge queue
conditions:
- base=main
- label=ci:mergify
- check-success=cla/google
- label=ci:ready_to_merge
actions:
queue:
name: default
require_branch_protection: true
method: squash

- name: remove ci:ready_to_merge label
conditions:
- merged
actions:
label:
remove:
- ci:ready_to_merge
19 changes: 19 additions & 0 deletions .github/workflows/apply_cirun.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
on:
pull_request_target:
types: [synchronize]

jobs:
apply-label:
runs-on: ubuntu-latest
if: contains(github.event.pull_request.labels.*.name, 'ci:ready_to_merge')
steps:
- uses: actions/github-script@v5
with:
github-token: ${{ secrets.TFLM_BOT_REPO_TOKEN }}
script: |
github.rest.issues.addLabels({
issue_number: context.issue.number,
owner: context.repo.owner,
repo: context.repo.repo,
labels: ['ci:run']
})