Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Date Reference Triage for 2021-06 #1136

Closed
2 tasks
github-actions bot opened this issue Jun 1, 2021 · 3 comments
Closed
2 tasks

Date Reference Triage for 2021-06 #1136

github-actions bot opened this issue Jun 1, 2021 · 3 comments

Comments

@github-actions
Copy link

github-actions bot commented Jun 1, 2021

Procedure

Each of these dates should be checked to see if the docs they annotate are up-to-date. Each date should be updated (in the Markdown file where it appears) to use the current month (2021-06), or removed if the docs it annotates are not expected to fall out of date quickly.

Please check off each date once a PR to update it (and, if applicable, its surrounding docs) has been merged. Please also mention that you are working on a particular set of dates so duplicate work is avoided.

Finally, once all the dates have been updated, please close this issue.

Dates

  • type-inference.md
    • line 75: 2018-01
@camelid
Copy link
Member

camelid commented Jun 4, 2021

Closing as the only item is #1116, just like last month.

@camelid camelid closed this as completed Jun 4, 2021
@jyn514
Copy link
Member

jyn514 commented Jun 4, 2021

@camelid what do you think about turning off running this automatically each month? It seems like no new dates have been added, I think it's fine to run it manually once in a while.

@camelid
Copy link
Member

camelid commented Jun 5, 2021

@jyn514 The reason there haven't been any new dates is because almost all of the date-check annotations are from 2021-01 or later. Since the dates only show up in the triage list after six months, there will be a bunch of dates in next month's triage. I tested locally, and next month there will about 21 dates.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants