Using GitHub's issue tracker as a reading list manager