both the RFC file name and link in the file should be updated

This commit is contained in:
Ralf Jung 2024-05-02 13:37:00 +02:00
parent 930f5ab59b
commit 865c00519b
1 changed files with 2 additions and 1 deletions

View File

@ -115,7 +115,8 @@ merged into the RFC repository as a markdown file. At that point the RFC is
feedback from the larger community, and the author should be prepared to
revise it in response.
- Now that your RFC has an open pull request, use the issue number of the PR
to update your `0000-` prefix to that number.
to rename the file: update your `0000-` prefix to that number. Also
update the "RFC PR" link at the top of the file.
- Each pull request will be labeled with the most relevant [sub-team], which
will lead to its being triaged by that team in a future meeting and assigned
to a member of the subteam.