Suggest changes with a Github Pull Request

From JoBaPedia
Revision as of 12:43, 19 August 2019 by Joachim (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Suggest changes with a Github Pull Request

Pretty straight forward, but anyways, here is one way to do it:

  • Create a new branch (or fork, if it is not your repo)
    • Either: On github pages Code tab:
      • Enter a new branch name
      • Pull (or clone) the repo
      • Switch to the new branch in your local repo (git checkout new-branch-name)
    • Or: Create the branch in your local git repo (git checkout -b new-branch-name)
      • use -m merge option, if you already have local changes that should go into the new branch
      • use -p patch option, to interactively select local changes to discard or reuse
  • Make changes, commit, push
  • On github create a pull request, selecting the new branch (or fork) with the changes
  • If there is a github issue for that change, you can mention the pull request there with #pull-request-number
  • If satisfied with the changes, repo owner can merge the pull request on the github page