mirror of
https://github.com/ghostty-org/ghostty.git
synced 2026-04-17 21:12:39 +00:00
2863849fca
This increases our rate limits and the vouch app already has the permissions required for the milestone workflow.
41 lines
1.2 KiB
YAML
41 lines
1.2 KiB
YAML
# Description:
|
|
# - Add milestone to a merged PR automatically
|
|
# - Add milestone to a closed issue that has a merged PR fix (if any)
|
|
|
|
name: Milestone Action
|
|
on:
|
|
issues:
|
|
types: [closed]
|
|
pull_request_target:
|
|
types: [closed]
|
|
|
|
permissions: {}
|
|
|
|
jobs:
|
|
update-milestone:
|
|
runs-on: namespace-profile-ghostty-sm
|
|
name: Milestone Update
|
|
steps:
|
|
- uses: actions/create-github-app-token@29824e69f54612133e76f7eaac726eef6c875baf # v2.2.1
|
|
id: app-token
|
|
with:
|
|
app-id: ${{ secrets.VOUCH_APP_ID }}
|
|
private-key: ${{ secrets.VOUCH_APP_PRIVATE_KEY }}
|
|
|
|
- name: Set Milestone for PR
|
|
uses: hustcer/milestone-action@ebed8d5daafd855a600d7e665c1b130f06d24130 # v3.1
|
|
if: github.event.pull_request.merged == true
|
|
with:
|
|
action: bind-pr # `bind-pr` is the default action
|
|
env:
|
|
GITHUB_TOKEN: ${{ steps.app-token.outputs.token }}
|
|
|
|
# Bind milestone to closed issue that has a merged PR fix
|
|
- name: Set Milestone for Issue
|
|
uses: hustcer/milestone-action@ebed8d5daafd855a600d7e665c1b130f06d24130 # v3.1
|
|
if: github.event.issue.state == 'closed'
|
|
with:
|
|
action: bind-issue
|
|
env:
|
|
GITHUB_TOKEN: ${{ steps.app-token.outputs.token }}
|