Contributing to this course

I welcome comments and feedback on the course, and encourage you to correct any bugs you find via the GitHub interface:

• If you want to discuss the problem first, or are not sure whether it is really a bug, then file an issue in the Issues tab, giving as much detail as you can on the problem you have identified. We can then discuss what to do about it.
• You can also make a Pull request for a bug fix. To do this, you should make a new branch of the repository, make the change there and then request that it is pulled into the main branch.