Child pages
  • For Curator Committers

Versions Compared


  • This line was added.
  • This line was removed.
  • Formatting was changed.


  • Create a branch for the PR: git checkout -b <branch name> - the branch name is usually the JIRA ID of the issue
  • Pull the changes from the PR: git pull<users-name>/exhibitor.git <branch>
  • Test, updated, etc. the change. Periodically push the change to the main repo. For the initial push: git push -u origin <branch name>
  • If the change is accepted, merge it into the master branch and push the master branch. This will automatically close the GitHub PR. NOTE: Please use git merge --squash as this makes it easier to read the history and do cherry-picks.