A chrome extension for managing Github pull requests and issues