Contributing to the Iris Lecture Notes is done via pull requests. To create a pull request, we advice creating a local fork of the repository, in which branches can be made with the suggested changes. We advice creating small branches, that isolate individual changes (e.g. typos of a single section) Pull requests can then be made through the github user interface, after which point the changeset will be reviewed by the Iris Lecture Notes team.