Just want to experiment with GitHub’s issue tracker before applying to a real repo.