Sync GitHub Labels #444
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # This workflow runs the sync-repo-labels.sh script periodically. | |
| name: Sync GitHub Labels | |
| on: | |
| # Run every day at 10:00 (until #2485 is fixed). | |
| schedule: | |
| - cron: '0 10 * * *' | |
| # Run when a PR that touched the labels is closed (closed includes merges). | |
| pull_request: | |
| types: [closed] | |
| paths: | |
| - "site/_data/github-labels.yaml" | |
| # Allow manual runs | |
| workflow_dispatch: | |
| jobs: | |
| sync: | |
| name: Sync Labels | |
| runs-on: ubuntu-latest | |
| steps: | |
| # Note, we check out main. We don't want un-merged PRs to whack | |
| # labels globally. | |
| - name: Check out main | |
| uses: actions/checkout@v3 | |
| with: | |
| ref: main | |
| # We need this token in a file so the syncer can consume it from | |
| # within the Docker container. | |
| - name: Export the GitHub token | |
| run: 'echo "${{ secrets.PROJECTCONTOUR_BOT_GITHUB_TOKEN }}" > github-token' | |
| - name: Run the label syncer | |
| run: 'TOKEN="github-token" ./hack/release/sync-repo-labels.sh' | |