Documentation updates are easy to make by anyone here on Github. Updates are submitted in the form of a Github pull request (“PR”) which developers can then review and discuss before merging the change into the documentation.
The following documents assume the submitter already has an account on Github.
Edit on Github¶
The easiest way to make a changes is to edit the file directly on Github.
Navigate to the page to edit in the documentation
Click Edit on Github to open the document source in Github
Click to edit the source
Make changes as needed
Enter an appropriate title and description for the change
Choose the option to start a pull request
Click Propose File Change and follow the prompts to create a pull request
Clone that fork locally with git
(optionally) Create a new branch named for the update being proposed
Commit the changes using an appropriate commit message
Push the changes
From Github, initiate a pull request from the local branch to the master branch of the documentation repository.
No matter how the documentation is edited, all methods result in a pull request (PR) that needs to be reviewed and merged. Additionally, changes to the documentation are automatically tested and checked, which makes it easier to spot problems without manual reviews.
After making changes and submitting a pull request, keep an eye on the PR for notes from the automated testing framework as well as notes from developers.