85.25 Git Pull Request
20190625 After forking a repository, cloning it locally,
making changes to the repository, and committing those changes to your
fork, a pull request can be submitted to have the changes considered
for inclusion in the original repository’s code base. Below we
illustrate getting ready to submit the pull request. The GitHub
interface provides a Pull Request button that can be used to create
the pull request once you are ready, or else you can use the
To begin, fetch the upstream main and merge that with your repository’s main branch. The checkout here simply ensures the main branch is the active branch:
$ git fetch upstream $ git checkout main $ git merge upstream/main
If there were any new commits then rebase your local repository. This may be in a development branch if you wish, but that is optional.
$ git checkout newfeature $ git rebase main
On the github interface change to the branch to be merged and click on Pull Request.
Your donation will support ongoing availability and give you access to the PDF version of the book. Desktop Survival Guides include Data Science, GNU/Linux, and MLHub. Books available on Amazon include Data Mining with Rattle and Essentials of Data Science. Popular open source software includes rattle, wajig, and mlhub. Hosted by Togaware, a pioneer of free and open source software since 1984. Copyright © 1995-2021 Graham.Williams@togaware.com Creative Commons Attribution-ShareAlike 4.0.