Skip to content

Test proposal to verify workflow#2

Closed
k-wall wants to merge 4 commits intostop-the-collisionsfrom
test-proposal-workflow
Closed

Test proposal to verify workflow#2
k-wall wants to merge 4 commits intostop-the-collisionsfrom
test-proposal-workflow

Conversation

@k-wall
Copy link
Copy Markdown
Owner

@k-wall k-wall commented Apr 24, 2026

This PR contains a test proposal file proposals/000-test-workflow.md.

The GitHub workflow should:

  1. Detect this file doesn't match the PR number
  2. Update this PR description with a warning
  3. Provide the command to rename it correctly

Let's see if it works!

This change simplifies the proposal numbering system by using PR numbers
as proposal identifiers, eliminating number collisions and removing the
need for a separate allocation process.

Changes:
- Simplified proposals/README.md to focus on author workflow
  - Removed index tables (directory listing serves as the index)
  - Streamlined instructions for creating and renaming proposals
- Updated proposal template with workflow instructions
- Added GitHub workflow to automatically check proposal numbering
  - Updates PR description when proposal files don't match PR number
  - Provides exact commands to fix naming issues
  - Removes warning once corrected
- Added MIGRATION_GUIDE.md with specific instructions for open PRs

Proposals 001-019 retain their original numbers.

Co-Authored-By: Claude Sonnet 4.5 <[email protected]>
@k-wall k-wall force-pushed the test-proposal-workflow branch from 26e0d62 to 2e5bb1d Compare April 24, 2026 14:37
@k-wall k-wall closed this Apr 24, 2026
@k-wall k-wall force-pushed the test-proposal-workflow branch from 2e5bb1d to 87c1f62 Compare April 24, 2026 14:38
@k-wall
Copy link
Copy Markdown
Owner Author

k-wall commented Apr 24, 2026

Testing workflow trigger

@k-wall k-wall reopened this Apr 24, 2026
@k-wall k-wall force-pushed the stop-the-collisions branch 5 times, most recently from 48eec63 to 5a06b57 Compare April 24, 2026 14:52
@k-wall k-wall closed this Apr 27, 2026
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