An example of how we could use the Github issue tracker