Creating a Pull Request (Branch) - Carleton-SRCL/SPOT GitHub Wiki

In the event that you have some code you think really should be available to everyone, you can submit a pull request. This can be done using the GitHub Desktop application.

  1. Open GitHub Desktop, ensure your branch has been selected.

  2. Ensure there are not local changes for your branch. If there are none, you should see the following option to "Push Origin":

push branch

  1. After clicking on Push Origin, you will be brought to the GitHub website. Fill out the pull request form and submit it. It should look like this when complete:

pull request

That's all there is to it! At this point, it is up to one of the main developers to review your pull request and then (if it's a good request), one of us will merge it with the master branch.