-
Notifications
You must be signed in to change notification settings - Fork 175
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
explain some more details of the triage procedure #766
base: master
Are you sure you want to change the base?
Conversation
Thanks for the pull request, and welcome! The Rust team is excited to review your changes, and you should hear from @Dylan-DPC (or someone else) some time within the next two weeks. |
`echo "$(date -I --date="$([ "z$(date +%a)" = "zMon" ] && echo 'today' || echo 'last monday')") to $(date -I --date="$([ "z$(date +%a)" = "zSun" ] && echo 'today' || echo 'next sunday')")"` | ||
|
||
#### Avoiding duplicate work | ||
If a PR's labels are still accurate, it can be worth it to remove and re-add a label in order to update the last-modified timestamp, preventing it from turning up in other triagers searches. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I know why triage does this trick of re-applying labels, but to a reader not familiar with the procedure this may sounds slightly unclear/generic. Can you detail why triage does this? Which label re-apply?
Example: "Since triaging is done sorting by looking at oldest issues first, re-applying the label X or Y will update an issue last-modified timestamp, signaling to other triagers that it has already been talen care of".
@@ -130,3 +130,11 @@ each PR: | |||
|
|||
Once you are done triaging PRs, post your report in the topic for the current | |||
week's triage in the `#t-release/triage` Zulip stream. | |||
the topic should have a name like `YYYY-MM-DD to YYYY-MM-DD`. | |||
Note that this uses a monday-sunday week. | |||
if a topic does not exist, you can generate it's title with |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
if a topic does not exist, you can generate it's title with | |
if a topic does not exist, you can generate its title with |
Note that this uses a monday-sunday week. | ||
if a topic does not exist, you can generate it's title with | ||
the following bash oneliner (requires GNU date): | ||
`echo "$(date -I --date="$([ "z$(date +%a)" = "zMon" ] && echo 'today' || echo 'last monday')") to $(date -I --date="$([ "z$(date +%a)" = "zSun" ] && echo 'today' || echo 'next sunday')")"` |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Suggestion:
echo "$(date -I --date="$([ "z$(date +%a)" = "zMon" ] && \
echo 'today' || echo 'last monday')" \
to $(date -I --date="$([ "z$(date +%a)" = "zSun" ] && \
echo 'today' || echo 'next sunday')")"
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Left a few comments, mostly nitpicks.
after them, it looks good to me.
based on discussion with @Dylan-DPC