Updating the docs front page (docs.edx.org)

To update the edX documentation home page at docs.edx.org, you need to update an HTML file in the edx-platform repository. 

Step-by-step guide

1. In the edx-platform repository, check out the gh-pages branch (not master).
   Note: If you're using the command line, after you check out gh-pages, you may have to run git pull to update the branch.
2. In Finder, navigate to edx-platform/index.html and open index.html in Sublime or your preferred editing tool.
3. After you have made your edits, save, commit and push your branch. You don't need to make a pull request. Your edits go live without any further action.
4. Check the docs.edx.org page to make sure that the date gets updated within a few minutes.