A dummy repository to play around with the GitHub issues