456008cc35
accept review suggestion
...
Co-authored-by: Noah Lev <camelidcamel@gmail.com>
2022-08-02 05:38:20 +02:00
483a0a5ab7
nit
2022-07-31 23:29:36 +02:00
2a5b586c24
address review comment
...
https://github.com/rust-lang/rustc-dev-guide/pull/1394#discussion_r934018981
Much more clean
2022-07-31 23:26:41 +02:00
ade29246e2
use a more simple fn
2022-07-31 22:55:22 +02:00
ea2f1c2977
address review comment
...
https://github.com/rust-lang/rustc-dev-guide/pull/1394#discussion_r934018816
2022-07-31 22:30:14 +02:00
74b9b456c1
address review comment
...
https://github.com/rust-lang/rustc-dev-guide/pull/1394#discussion_r934018419
2022-07-31 22:09:30 +02:00
3faf82c00e
address review comment
...
https://github.com/rust-lang/rustc-dev-guide/pull/1394#discussion_r934018268
This led to a more robust regex, though making the tool more picky.
It also found a wrong date format that was missed.
2022-07-31 22:00:27 +02:00
e82c2457b4
address review comment
...
https://github.com/rust-lang/rustc-dev-guide/pull/1394#issuecomment-1189105017
2022-07-31 00:07:45 +02:00
f4803a77e3
address review comment
...
https://github.com/rust-lang/rustc-dev-guide/pull/1394#pullrequestreview-1042167261
2022-07-30 21:47:59 +02:00
c9fcae3d6b
accept review suggestion
...
Co-authored-by: Noah Lev <camelidcamel@gmail.com>
2022-07-30 21:47:59 +02:00
5b5ab38144
please clippy
2022-07-30 21:47:59 +02:00
b570c882df
make date-check lightweight
...
This avoids having to write the date twice when updating date-check.
Before "As of <-- 2022-07 --> July 2022"
After "As of July 2022"
2022-07-30 21:47:59 +02:00
72a3895d61
Bump regex from 1.4.3 to 1.5.5 in /ci/date-check ( #1364 )
...
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2022-06-07 08:40:42 +09:00
b06008731a
Update author field
2021-10-21 15:13:09 -05:00
f68aff5d18
Switch date-check to Rust 2021
...
No migrations were necessary.
2021-10-21 15:13:09 -05:00
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
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
Tshepang Mbambo
dependabot[bot]
Noah Lev