Submitting a pull-request

The website is hosted on a github repository. To submit a change you’ll have to make a so-called “pull-request”. This page is a step-by-step explanation on how to do that.

Step 1: create a github account

Create an account here. You can choose to remain anonymous, but I personally recommend to use github under your real name.

Step 2: create a fork

If you haven’t done it yet, create a fork of the website’s repository by clicking on the fork button:

image unavailable

The newly created fork should now be available under your own personal profile, under the address: where USERNAME is your github account name.

Step 3: make sure that your fork is up-to-date

If you just forked the repository for the first time, you can skip this step.

If not, you should check that your master branch is up-to-date:

  • go to your forked repository website (see above): you can check that you you are on the right page by checking the header (green box in the image below).
  • make sure that you are looking at the master branch (orange box in the image below).
  • check the current status. If the message says that you are behind (red box in the image below), continue reading. If it says that you are up-to-date, go to step #4.

image unavailable

If you are behind, a tiny bit of command line manipulation is necessary:

  • install git on your computer. On linux, this is as simple as $ sudo apt-get install git.
  • update your git name and email: git config --global "Mona Lisa" and git config --global "". The name is not very important, but the email must match the one you provided to github.
  • in any directory, type: $ git clone This will create a new directory called Navigate to this repository ($ cd
  • add the main repository as upstream (in order to get the updates from it): $ git remote add upstream
  • get the updates from github: $ git fetch upstream
  • merge them in your master branch : $ git checkout master and $ git merge upstream/master
  • upload them to your online fork: $ git push origin master. You might have to enter your github credentials at this step.

You’re all set! If everything went fine, your online master branch should indicate that you are up-to-date with the original repository.

Step 4: create a new branch

On your fork’s website (see above), click on the “branch” button and type a new branch name (see example below). The tool should suggest you to create a new branch:

image unavailable

From now on you should always select this new branch before making further changes.

Step 5: adding / editing files

In this new branch, you can navigate to the folder or the file you like to edit. The buttons to edit/add new files should be there for you:

image unavailable

After adding/editing your file(s), github should propose you to make a commit. This is exactly what you should do! Make sure you select the Commit directly to the BRANCH-NAME option.

Repeat step 5 as many times as necessary (you can do as many commits as necessary).

Step 6: submitting a pull-request (PR)

Now that you have added all your changes, github should suggest you to create a pull request. The homepage of your branch should look like:

image unavailable

Click on “Compare & pull-request”, add an informative message about what your changes are, and submit the PR!

Step 7: review process

During the review process, you might be asked to make further changes. If it is so, repeat step 5 as many times as necessary. Make sure that you are indeed working in the correct branch. After a new commit, the pull-request will be updated automatically.

What to do after my PR was accepted/merged?

You’re done! The branch you have used can safely be deleted/ignored. If you’d like to make new changes at a latter stage, restart at step 3 and create a new branch from master.

Improve this page