How to contribute

We appreciate help of colleagues to keep our pages up-to-date and consistent, and to add any missing information. To make a contribution

  • Create a GitHub account.

  • Fork the repository. The fork should end up in your own account.

  • Create a new branch and make your changes there.

  • Commit your changes.

  • Issue a pull request against the master repository/branch.

  • Your pull request will be reviewed at the earliest convenience, we will provide feedback, and eventually merge the updated changes into the master repository.