Android tool to keep up with GitHub pull requests