Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
Change reference to doc role #2762
Pull Request Checklist
Minor change, but since the doc role is (correctly) referenced as a role in one place, but as a directive in the other, I changed it to be role for uniformity and accuracy.