From 865c00519be97843034f4d17bd49399c3c742125 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Thu, 2 May 2024 13:37:00 +0200 Subject: [PATCH] both the RFC file name and link in the file should be updated --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 49ee5a54a0e..dd6ee1fb236 100644 --- a/README.md +++ b/README.md @@ -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.