@@ -439,15 +439,8 @@ Just a few things to keep in mind:
439
439
- The date the comment was added, e.g. instead of writing _ "Currently, ..."_
440
440
or _ "As of now, ..."_ , consider writing
441
441
_ "As of January 2021, ..."_ .
442
- Try to format the date as ` <MONTH> <YEAR> ` to ease search.
443
-
444
- - Additionally, include a machine-readable comment of the form `<!-- date:
445
- 2022-04 -->` (if the current month is April 2022). We have an automated
446
- tool that uses these (in ` ci/date-check ` ).
447
-
448
- So, for the month of April 2022, the comment would look like: `As of <!--
449
- date: 2022-04 --> April 2022` . Make sure to put the comment *between* ` as of`
450
- and ` April 2022 ` ; see [ PR #1066 ] [ rdg#1066 ] for the rationale.
442
+ We have CI action (in ` "~/.github/workflows/date-check.yml" ` )
443
+ that generates an issue if any of these are over 6 months old.
451
444
452
445
- A link to a relevant WG, tracking issue, ` rustc ` rustdoc page, or similar, that may provide
453
446
further explanation for the change process or a way to verify that the information is not
@@ -459,7 +452,6 @@ Just a few things to keep in mind:
459
452
460
453
[ rdg ] : https://rustc-dev-guide.rust-lang.org/
461
454
[ rdgrepo ] : https://github.com/rust-lang/rustc-dev-guide
462
- [ rdg#1066 ] : https://github.com/rust-lang/rustc-dev-guide/pull/1066
463
455
464
456
## Issue Triage
465
457
0 commit comments