Skip to main content

GitHub Pull Request


Create the fork by clicking 'Fork' on the website.

Clone the repository locally: git clone

Add 'upstream' remote: git remote add upstream

git remote -v should show:

origin (fetch)
origin (push)
upstream (fetch)
upstream (push)

Create the PR

Create a branch and do the work.

(Optional) Before submitting the PR:

  • Update my fork and rebase my branch (git rebase main).
  • Squash the commits.

Finally, create the PR on the website.

After the PR is merged

Checkout main/master, update my fork and delete the branch with git push --delete origin branch.

Update my fork

git checkout main
git pull upstream main
git push origin main

Or (source):

git fetch upstream
git checkout main
git merge upstream/main
git push origin main