Skip to content

Add number-assignment and welcome workflows for ENSIPs#82

Merged
wentelteefje merged 1 commit into
masterfrom
ci/ensip-assign-welcome
Jun 29, 2026
Merged

Add number-assignment and welcome workflows for ENSIPs#82
wentelteefje merged 1 commit into
masterfrom
ci/ensip-assign-welcome

Conversation

@wentelteefje

Copy link
Copy Markdown
Member

Summary

Adds two GitHub Actions workflows for ENSIP intake.

welcome-ensip.yaml

Posts a one-time welcome comment when a PR adding an ensips/**.md file is opened, pointing the author to the submission checklist. Idempotent.

assign-ensip.yaml

When an editor (OWNER/MEMBER/COLLABORATOR) comments /assign-ensip on a PR,
computes the next ENSIP number and records it in a comment. The number is max(A,B) + 1, where:

  • A = the highest N.md already merged on master, and
  • B = the highest number ever handed out in a prior bot comment (so open/closed PRs can't collide).

Validates the PR adds exactly one new ENSIP file, is idempotent per PR, and serializes runs to avoid races. After assignment, the PR author renames the file to N.md and updates the H1 heading and PR title.

@wentelteefje wentelteefje merged commit e388ef4 into master Jun 29, 2026
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant