chore: migrate to the reusable leanprover-community/intentions workflow#77
Open
kim-em wants to merge 1 commit into
Open
chore: migrate to the reusable leanprover-community/intentions workflow#77kim-em wants to merge 1 commit into
kim-em wants to merge 1 commit into
Conversation
Replace the copied 01-claim-issue..04-withdraw-pr workflows with one caller of the maintained reusable workflow. Command vocabulary and the board are unchanged; default-ttl: none preserves "claims never expire", so no board changes are needed. Reuses the existing PAT_TOKEN for the Projects board only; issue assignment and comments use the workflow GITHUB_TOKEN. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
This file contains hidden or 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
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
This PR replaces the four copied
01-claim-issue–04-withdraw-prworkflows with a single caller of the maintained reusable workflow at https://github.com/leanprover-community/intentions (pinned to@v1; see the announcement). Your05-awaiting-review.yml(awaiting-review) workflow is independent of these four files and is left untouched. Theclaim/disclaim/propose PR/withdraw PRvocabulary and the project board are unchanged, so contributors notice nothing.Setting
default-ttl: nonepreserves the current "claims never expire" behavior: there are no board changes, noClaim Expiresfield, and no scheduled sweep.It reuses your existing
PAT_TOKENsecret, so no new secrets are needed. That token is now used only for the Projects v2 board; issue assignment and comments run on the workflow's built-inGITHUB_TOKEN(grantedissues/pull-requestswrite in the caller), exactly as the old workflows did — soPAT_TOKENonly needs Projects access.Two optional follow-ups, not included here: the action can also drive the full board lifecycle (auto-add issues, PR-driven status, completion on merge) and automatic claim expiry — see the README if you ever want either. And if your organization restricts Actions to "this organization only", allow
leanprover-community/intentionsin Settings → Actions so the reusable workflow can run.🤖 Prepared with Claude Code