Propose or push a change
Now that you have fixed a typo, proposed a change, written a whole new page, how do you contribute it back?
The short answer is GitHub pull request.
If you don't have edit access
If you cannot push to the ceylon-lang.org GitHub repository, the best way is to fork the repository at http://github.com/ceylon/ceylon-lang.org and send a pull request via GitHub. More information is available on the GitHub website.
Note that we love linear history and hate railroad style merges. Make sure to rebase your work off master before proposing a pull request.
If you have edit access
You can used two approaches:
- push to the git repo manually
- edit the page right on GitHub
The second solution is particularly useful to small on the fly edits. For example to edit this page, go to GitHub at https://github.com/eclipse/ceylon-lang.org/blob/master/code/website/push-change.md and click on Edit this page on the right side. Make sure to add a proper comment (at the bottom of this page).
Unfortunately you cannot add new pages via the GitHub interface. so that's limited to minor changes.
When will I see my change online?
Within 30 seconds to a minute, you should see the change online after it is pushed to GitHub.