Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
If someone writes:
Then we could for example assign steveklabnik since they have r+ rights.
This mistake happens from time to time; what happens now when someone writes the above is to leave the PR without a reviewer...
I'm not familiar with the code-base but... To do this, it should be sufficient to:
cc @pietroalbini to correct mistakes I might have made or clarifications if need be.