Re: [DISCUSS] Allowing the option to use github pull requests in place of reviewboard

[Ted Dunning]

On Mon, Jul 20, 2015 at 11:23 AM, Jason Altekruse <altekruseja...@gmail.com>
wrote:

>
> I will be opening an infra ticket if there is not already one to request
> these comments also be reflected if possible.
>
>
Good catch.