You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Apply the labels: C-tracking-issue, B-RFC-approved
For each team the RFC falls under, apply a label T-team.
Substitute mentoring instructions based on team.
For T-lang, mentoring instructions come from T-compiler.
Find the PR title of the RFC and substitute XXX in This is a tracking issue for the RFC "XXX" with the title.
But first apply some heuristics removing prefixes such as RFC: (case insensitive). This also applies to similar suffixes.
Set the issue title to Tracking issue for RFC <number>, <title> where <title> is dependent on step 3.4.
Find all unresolved questions from the RFC and add them to the tracking issue text.
This will be a bit difficult and will require some heuristics based on common formatting in RFCs.
Fetch the issue number of the newly created tracking issue.
Merge the PR into master
Add a commit substituting 0000 in the file name of the committed file with <number>.
The commit should be named RFC <number>.
It should also adjust the links to the tracking issue and the RFC PR.
Add a comment on the PR saying:
**Huzzah!** This RFC is **merged**!
Tracking issue: <issue_link>
Find the [Rendered] link in the PR summary / original post and change the link to the new location of the file (in the master branch).
Also add a link to the tracking issue.
This will also require some heuristics.
This procedure has multiple points of failure for a bot. If a failure does happen, the bot should stop immediately and post a comment on the RFC saying "automated merge procedure failed, please merge manually."
Who will implement this? I will (at some point).
The text was updated successfully, but these errors were encountered:
@dwijnand Yea, that's why this should only apply to RFCs and not rust-lang/rust PRs ;) We need to post-process the PRs anyways for merge conflicts, other small fixes, etc.
Opening an issue per discussion at #197 (diff).
To save the rfc-pushers some time, it would be nice to auto-merge RFCs that are FFCPed (finished-final-comment-period).
This is a complicated process which involves these steps executed (by a human right now..) in order:
C-tracking-issue
,B-RFC-approved
team
the RFC falls under, apply a labelT-team
.T-lang
, mentoring instructions come fromT-compiler
.title
of the RFC and substituteXXX
inThis is a tracking issue for the RFC "XXX"
with the title.RFC:
(case insensitive). This also applies to similar suffixes.Tracking issue for RFC <number>, <title>
where<title>
is dependent on step 3.4.0000
in the file name of the committed file with<number>
.RFC <number>
.This procedure has multiple points of failure for a bot. If a failure does happen, the bot should stop immediately and post a comment on the RFC saying "automated merge procedure failed, please merge manually."
Who will implement this? I will (at some point).
The text was updated successfully, but these errors were encountered: