infra@ made a mistake, so Pull Request notifications has been missing.
Gavin (McDonald) asks us to confirm if it works now, i.e. PR shows up in
commits@ list.
If it does, please go to INFRA-13922 and tell them.
On Sat, Apr 22, 2017 at 5:02 PM, Niclas Hedhman <nic...@hedhman.org> wrote:
&g
ed into dev@
> > >>>
> > >>> On Tue, Apr 18, 2017 at 5:56 PM, Niclas Hedhman <nic...@hedhman.org>
> > >>> wrote:
> > >>>
> > >>> > Gang,
> > >>> > I would like to propose that the GitHub "pull re
;> Agreed. I used to think these mails are fixed into dev@
> >>>
> >>> On Tue, Apr 18, 2017 at 5:56 PM, Niclas Hedhman <nic...@hedhman.org>
> >>> wrote:
> >>>
> >>> > Gang,
> >>> > I would like to propose that
che.org> wrote:
>>
>>> Agreed. I used to think these mails are fixed into dev@
>>>
>>> On Tue, Apr 18, 2017 at 5:56 PM, Niclas Hedhman <nic...@hedhman.org>
>>> wrote:
>>>
>>> > Gang,
>>> > I would like to propose that
d. I used to think these mails are fixed into dev@
>>
>> On Tue, Apr 18, 2017 at 5:56 PM, Niclas Hedhman <nic...@hedhman.org>
>> wrote:
>>
>> > Gang,
>> > I would like to propose that the GitHub "pull request" and "issue" mails
>
Agreed. I used to think these mails are fixed into dev@
On Tue, Apr 18, 2017 at 5:56 PM, Niclas Hedhman <nic...@hedhman.org> wrote:
> Gang,
> I would like to propose that the GitHub "pull request" and "issue" mails
> are directed to the commits@ list,
Gang,
I would like to propose that the GitHub "pull request" and "issue" mails
are directed to the commits@ list, rather than the dev@ list.
Due to the RTC these mail is dominating the dev@ list and it is not easy to
get an overview of what is actually being discussed in th
