Skip to content

Add Triagebot documentation #394

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

Merged

Conversation

apiraino
Copy link
Contributor

@apiraino apiraino commented Jun 30, 2020

Replaces #388

This PR moves the Triagebot documentation (currently hosted on the bot's repo Wiki) to the rust-forge as per the discussion during the Steering Meeting of 2020-06-23.

I think there are these items to tick related to this comment, that is:

  • "where are commands valid?". Some commands can only be used on GitHub, some can only be used on Zulip (this could be moved to a subsequent PR)
  • Check the wording for the "autolabel" and "notify_zulip" commands (they may be a bit off or incomplete)

Other than that, probably we can move on with a second review and then merge.

cc: @spastorino @LeSeulArtichaut @XAMPPRocky

@apiraino apiraino mentioned this pull request Jun 30, 2020
3 tasks
Copy link
Member

@Mark-Simulacrum Mark-Simulacrum left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Bunch of small nits. This looks amazing in general, thanks!

@apiraino
Copy link
Contributor Author

apiraino commented Jul 9, 2020

update the PR, if no other suggestions arise, maybe merge @spastorino ?

@XAMPPRocky
Copy link
Member

It seems like this is mostly complete and I think we can make follow up PRs for anything else. Thank you again for your PR!

@XAMPPRocky XAMPPRocky merged commit 5cf0a77 into rust-lang:master Jul 10, 2020
@apiraino apiraino deleted the merge-in-triagebot-documentation-take2 branch July 10, 2020 09:22
@apiraino
Copy link
Contributor Author

thanks to you all for the mentoring :-)

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

Successfully merging this pull request may close these issues.

5 participants