Marvin - Making sure your PR gets a review and your reviews don't get lost.

This is a bot with two primary purposes:

• managing and labeling a pull-requests status, based upon who needs to take action (the author / a reviewer) and who is needed to proceed
• triaging pull requests and automatically assigning reviewers where possible.

As a PR author

Normally, you shouldn't need to directly interact with the bot once you have opted in.
It will automatically add the correct labels based on your actions.

If you want to use marvin on your PRs, you currently have to explicitly opt-in since it is still experimental.
Write the following in your PR or in a comment:

/marvin opt-in
/status needs_reviewer

Only you as the PR author can opt-in.

As a reviewer

Quite a few status changes are also automatic.
You may want to manually set the status to needs_merger when you have finished your review and would merge this yourself if you could (but do not have the privilege to do so).
Try to anticipate the "merger"s feedback as well as possible, ideally no additional review should be necessary.
Do so on a best-effort basis -- this is a learning process for all parties.

For more details, see the usage document.