Improve proposal numbering workflow with exact commands to name proposal file given in feedback added to the description etc

[k-wall]

Follow-up improvements to #104 to provide exact, copy-pasteable commands.

Workflow Changes

The GitHub workflow now generates specific, copy-pasteable commands for each proposal:

• Exact git mv command with actual current and expected filenames
• Smart sed command that preserves title text while fixing the number prefix
• git add to stage the file after sed modification
• Complete workflow including git commit and git push

Example output:

git mv proposals/xxx-test-feature.md proposals/105-test-feature.md
# Update title: remove any old number prefix and add PR number
sed -i.bak '0,/^# /{s/^# \([0-9]\{3\}\|xxx\|nnn\|000\) - /# 105 - /; t; s/^# /# 105 - /}' proposals/105-test-feature.md && rm proposals/105-test-feature.md.bak
git add proposals/105-test-feature.md
git commit -m "Rename proposal to use PR number 105"
git push

The sed command handles all common title formats:

• # 000 - Title → # 105 - Title
• # xxx - Title → # 105 - Title
• # nnn - Title → # 105 - Title
• # Title → # 105 - Title

Notification Script Changes

Updated notify-open-prs.sh to generate PR-specific comments:

• Fetches the actual proposal filename from each PR
• Calculates the expected filename
• Provides exact commands including sed for title update
• Includes git add after file modification

Testing

Tested with a proposal having # xxx - Test Exact Commands:

• Commands worked correctly when copy/pasted
• Title updated to # 4 - Test Exact Commands (text preserved)
• Workflow automatically removed warning after fixes applied

Assisted-By: Claude Sonnet 4.5 noreply@anthropic.com
Signed-off-by: Keith Wall kwall@apache.org