10 Commits

Author	SHA1	Message	Date
Tshepang Mbambo	e82c2457b4	address review comment ... https://github.com/rust-lang/rustc-dev-guide/pull/1394#issuecomment-1189105017	2022-07-31 00:07:45 +02:00
Tshepang Mbambo	f4803a77e3	address review comment ... https://github.com/rust-lang/rustc-dev-guide/pull/1394#pullrequestreview-1042167261	2022-07-30 21:47:59 +02:00
Tshepang Mbambo	c9fcae3d6b	accept review suggestion ... Co-authored-by: Noah Lev <camelidcamel@gmail.com>	2022-07-30 21:47:59 +02:00
Tshepang Mbambo	5b5ab38144	please clippy	2022-07-30 21:47:59 +02:00
Tshepang Mbambo	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
dependabot[bot]	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
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