On 2/9/2017 8:48 AM, Joseph Rushton Wakeling wrote:
Contrast this with the experience I had the one time I submitted a (tiny,
trivial) patch to rust: immediately after submitting the PR I got a message from
their 'highfive' robot that included:
* a friendly thank you for the PR;
* the GitHub ID of a contact who I could expect to be taking responsibility
for the PR, who was also assigned as a reviewer;
* some helpful notes on how to add changes to the PR if requested;
* a link to the contributor guidelines.
By contrast with a Phobos PR it's not clear who to contact if review or
decision-making is not forthcoming.
Good idea! Please investigate how to get github to generate such emails. In the
meantime, the PR guidelines are here:
The teams can be found here:
Please help improve the guidelines.