-
Notifications
You must be signed in to change notification settings - Fork 0
How to Contribute to This Wiki
As you can see, not just anyone can edit a wiki page. We welcome your contributions, but we would like to be able to review them first. Why?
So, here is how to submit your changes...
Note: If it sounds too complicated, then you can just submit your changes in the comment of an issue. Issues use the same markdown format as the wiki, so we can usually just copy and paste.
-
Fork the ev3dev repo on github.
Note: We keep a copy of the wiki in the wiki branch so that you can submit a pull request. However, what is actually displayed in the wiki has it's own separate repo. This means we have to juggle 4 copies of the wiki. Unless you are already a git ninja, this may sound a bit scary, but once you get the hang of it, it is not so bad.
-
Clone the ev3dev wiki branch on your computer. (Subtitute your github user name for
<user>
.)git clone git@github.com:<user>/ev3dev ev3dev-wiki cd ev3dev-wiki git checkout wiki
-
The wiki branch in the ev3dev repo is probably behind the real wiki unless we just merged a pull request. So, we need to get the latest updates from the real wiki.
git remote add realwiki git://github.com/mindboards/ev3dev.wiki git pull realwiki master:wiki
-
Now, we need to get the ev3dev wiki pushed to your repo on github. Browse (web) to
https://github.com/<user>/ev3dev/wiki
and click the button that says Create the first page. When you see the message Your Wiki was created., we are ready to proceed. Next, you need to push the ev3dev wiki to the wiki of your fork on GitHub.git remote add mywiki git@github.com:<user>/ev3dev.wiki git push mywiki wiki:master
Now, you can edit the wiki online and see what the results actually look like on GitHub. Check out the GitHub help pages if you are not familiar with the markdown syntax.
-
You can also edit the files locally using any text editor. There are even tools that let you preview the formated markdown (ReText for example). Be sure to push the changes on your local computer to the wiki in your GitHub repo and preview any results to check that they look like you expected.
-
Once you have the changes the way you like and you are ready to submit them for review, we need to make sure the changes are pushed to the correct repo so that we can to a pull request.
git pull mywiki master:wiki git push origin wiki:wiki
-
To submit a pull request, browse to
https://github.com/<user>/ev3dev/tree/wiki
and click the pull request button. In the description, tell us about your changes and provide links to the pages that you changed in your repository so that we can see what they look like. -
Once the changes have been reviewed, we will push them to the real wiki. You can now pat your self on the back for a job well done. Thanks for your help!