Submit a GitHub PR

Collaborative working is a key concept of GitHub, and as many other groups, we are intensely using this tool for our projects. You will find lot of github repository examples on our github organization.

One important concept is the pull request (PR), or in other terms: requesting for your local code changes to be added into the mainstream code. This step is usually followed by a code review, from one of the main contributor of the original repository.

Pre-requisites

  • Github ease

What will you learn ?

  • Making a pull request (PR) with github

Creating a fork

The first step involves creating a fork of the repo you want to modify.

Navigate to the repository page, and click on the fork button (located at the top-right corner of the page). You will need to select you account from the list. Now if you navigate to your account, you should see a new repository, it is your own fork of the original repository!

Making changes and submit the PR

You can now modify the code at your convenience, it will not affect the original repository. When you finished to commit and push your changes to your own repository, just follow that: https://help.github.com/en/articles/creating-a-pull-request-from-a-fork

Questions ?

If you have any issues using GitHub, don’t hesitate to ask your questions on the SIMEXP lab slack in #shell or #git channel!