search

rust-lang / triagebot

Automation/tooling for Rust spaces
https://triage.rust-lang.org
Apache License 2.0
169 stars 75 forks source link

triagebot rfc_helper cannot deal with the file being renamed to the RFC number #1803

Open RalfJung opened 2 months ago

RalfJung commented 2 months ago

The RFC process says

Now that your RFC has an open pull request, use the issue number of the PR to update your 0000- prefix to that number.

However, rfcbot will create the "Rendered" link to point to the file "0000-*", which will then be a dead link that one has to manually update. The bot should probably update this link automatically?