A Web and IRC service to watch Github pull requests