The instructions for updating the PTS9 repository are very similar to those for the SKIRT9 repository, but many of the steps are not applicable.
The PTS9 repository follows the GitHub fork and pull workflow model. This means you should never push any changes directly to the PTS9 repository. Instead, contributors including administrators should push suggested changes to a topic branch (not the master branch) in their own fork and create a pull request, which is then handled by an administrator as described on this page below. For more information, see The GitHub workflow for the SKIRT project.
As an administrator, your local copy of the PTS code must be connected to both the main PTS9 repository and your own fork of this repository. For more information, see SKIRT project directory structure.
The GitHub Desktop application provides a nice graphical user interface on top of git. It facilitates many git workflow operations and is easy to learn. Moreover, GitHub Desktop operations can be mixed with raw git commands in a terminal at will. For more information, see Software tools for the administrator.
Handling a pull request for the PTS9 repository, created by yourself or by another user, involves the steps listed below.
makeHTML.sh shell script and verify that it does not issue any warnings or errors. Open the relevant generated HTML pages to verify correctness. Fix any issues.Back on your local computer, update your local copy of the code and your personal fork by executing the following commands (you can do this in GitHub Desktop as well, but it is often easier to copy/paste the raw git commands):
git fetch upstream git checkout master git merge upstream/master git push
~/SKIRT/Web9/git/root/text/31-InstallationGuide/RecentChanges.txt and add a line describing the change at the end of the PTS section. The line should include the date of the merge commit. Finally, commit and push the updated RecentChanges.txt file to the Web9 repository.