Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Fixes #17933 #116
added link to check out documentation to "Writing documentation" page
One can argue about placing this information on the bottom of the page to ensure that possible contributors read the docs first. One the other hand checking out the code is the first step to get started.