A command-line tool to manage Github Issues