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
NEW: Edit your page online
If you want to update an already existing page, you do not need to follow the standard Github procedure. Instead, simply browse the code online to find the file you want to edit and click on
Edit this file (pencil in the upper right corner of the file viewer). Please select
Create a new branch for this commit and start a pull request. when you are done and do not try to push to
Find out more here: https://help.github.com/articles/editing-files-in-your-repository. Dead simple, no more pull, branch, edit, add, commit, etc. Note that your changes will still be reviewed by a moderator, though.
To add or modify the content of specific parts of the website, only a few plain text files written with the Markdown markup language have to be edited.
There is one general rule for getting into editing:
Don't get afraid of the overwhelming number of additional documentation pages to the right. It all comes down to this: create a pull request and wait for a maintainer to approve. If you do not know how to do that, here are the three basic steps to follow:
Push your changes to your fork and open a pull request.
see Step 3 ff. in Contributor's Workflow
There is also a comprehensive guide from GitHub on sending pull requests.
Read the Rationale for details on the choice for Ruby/Jekyll and this procedure.