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
- Create a fork of the Documentation Source
- Clone that fork locally with git
- (optionally) Create a new branch named for the update being proposed
- Make changes
- 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.