mirrors/ghostty
1
0
Fork 0
mirror of https://github.com/ghostty-org/ghostty.git synced 2026-04-13 19:15:48 +00:00
Code Issues Packages Projects Releases Wiki Activity

ci: skip vouched PRs for milestone attachment (#11371)

Browse Source
This commit is contained in:
Mitchell Hashimoto
2026-03-11 09:21:51 -07:00
committed by GitHub
parent 660767c77d f571c806fe
commit d48b6ba085
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/milestone.yml vendored
View File

@@ -16,7 +16,7 @@ jobs:
steps:
- name: Set Milestone for PR
uses: hustcer/milestone-action@ebed8d5daafd855a600d7e665c1b130f06d24130 # v3.1
if: github.event.pull_request.merged == true
if: github.event.pull_request.merged == true && !contains(github.event.pull_request.title, 'VOUCHED') && !startsWith(github.event.pull_request.title, 'ci:')
with:
action: bind-pr # `bind-pr` is the default action
github-token: ${{ secrets.GITHUB_TOKEN }}