Contribute to this page#

After you are done with your changes:#

  1. Merge or rebase on upstream/master (master if you work within this repo) and resolve conflicts.

  2. Check with sphinx-autobuild to see if the page builds and looks as intended.

  3. Create a pull request to the master branch. Give a short description of what you have added.

The static webpage is hosted on Github and automatically built by pushing changes to the master branch. The built webpage is displayed when selecting the gh-pages branch. This process is automatic. A guide to the principles can be found here.

If you have any questions, look in the Issues (including closed), if you don’t find an answer - create a new one.

NOTE If workflow above is too hard for you, there is a Github button in the top-right corner.

Reviewing PRs#

  1. Checkout branch that is getting pulled.

  2. Build locally.

  3. Add commits locally to fix things.

  4. Add comments in the pull request.

  5. Merge the PR (if you have rights and are happy with the changes).

The web-page will get updated in a few minutes through github actions.