mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
1,687 Commits 3 Branches 0 Tags 114 MiB
Commit Graph

4 Commits

Author SHA1 Message Date
Noah Lev b06008731a Update author field 2021-10-21 15:13:09 -05:00
Noah Lev f68aff5d18 Switch date-check to Rust 2021 
No migrations were necessary.
 2021-10-21 15:13:09 -05:00
Noah Lev e1dde3c2a5 date-check: Recognize capitalized 'Date' as well 
Now, if people use 'Date' instead of 'date', it won't be ignored.
 2021-08-26 18:53:17 -05:00
Camelid 5118b6b865 Implement date-checker 
This tool looks for HTML comments like `<!-- date: 2021-01 -->` in each
Markdown source file and compiles a list of dates that are older than
six months. It then opens an issue with that list, with checkboxes for
each file and date. Note that it will only open an issue if there was at
least one date older than six months; it does nothing if the list is
empty.

This tool is automatically run monthly in a GitHub Actions workflow.
I have tested the tool on a private repo and confirmed that it works.
 2021-02-03 19:29:07 -05:00