want them to be committers?
>
>
>
> Top-posted from my Windows phone
>
>
>
> *From: *Terry Reedy <tjre...@udel.edu>
> *Sent: *Wednesday, August 2, 2017 11:21
> *To: *python-committers@python.org
> *Subject: *Re: [python-committers] mention-bot is dead,long live th
On Wed, 2 Aug 2017 at 11:20 Terry Reedy wrote:
> On 8/2/2017 10:37 AM, Nick Coghlan wrote:
> > On 2 August 2017 at 07:09, Christian Heimes
> wrote:
> >> I suggested teams to make the file a bit easier to maintain. The rule
> >> format works differently
On 02Aug2017 2001, Terry Reedy wrote:
On Wed, Aug 2, 2017 at 2:47 PM, Steve Dower > wrote:
I have no strong opinion about core vs non-core dev, but I think
part of the point of the distinction is reflected here. Why would we
> *From: *Terry Reedy <tjre...@udel.edu>
> *Sent: *Wednesday, August 2, 2017 11:21
> *To: *python-committers@python.org
> *Subject: *Re: [python-committers] mention-bot is dead,long live the
> (misnamed) CODEOWNERS file!
>
>
>
> On 8/2/2017 10:37 AM, Nick Coghlan wrote:
phone
From: Terry Reedy
Sent: Wednesday, August 2, 2017 11:21
To: python-committers@python.org
Subject: Re: [python-committers] mention-bot is dead,long live the (misnamed)
CODEOWNERS file!
On 8/2/2017 10:37 AM, Nick Coghlan wrote:
> On 2 August 2017 at 07:09, Christian Heimes <christ...@pyth
On 8/2/2017 10:37 AM, Nick Coghlan wrote:
On 2 August 2017 at 07:09, Christian Heimes wrote:
I suggested teams to make the file a bit easier to maintain. The rule
format works differently than the old mentionbot format. In the old
format we had a relationship user ->
On Aug 1, 2017, at 17:09, Christian Heimes wrote:
> Marietta, Brett, thanks for your work!
Indeed!
> I suggested teams to make the file a bit easier to maintain. The rule
> format works differently than the old mentionbot format. In the old
> format we had a relationship
On 2017-08-01 22:59, Brett Cannon wrote:
> For those of you who have not noticed, mention-bot is no more. We were
> using the free instance that Facebook provided, but it seems to have
> fallen over and it doesn't look like it's going to get fixed soon
>
For those of you who have not noticed, mention-bot is no more. We were
using the free instance that Facebook provided, but it seems to have fallen
over and it doesn't look like it's going to get fixed soon (
https://github.com/facebook/mention-bot/issues/230).
But while mention-bot was down,