On 09/20/2015 10:33 AM, Michał Górny wrote:
> 
> 
> Dnia 20 września 2015 11:26:04 CEST, Jeroen Roovers <[email protected]> 
> napisał(a):
>> On Fri, 18 Sep 2015 20:09:16 -0400
>> Fernando Rodriguez <[email protected]> wrote:
>>
>>> Github allows editting of comments in pull requests. Is there a
>>> policy regarding that? I've noticed a comment disappear which makes
>>> the rest of the conversation seem out of place.
>>
>> My personal policy is to completely ignore anything Gentoo related that
>> gets posted on Github. I am also actively contemplating leaving the
>> Gentoo organisation on Github altogether since it's basically useless
>> (for reasons such as the one you mentioned) and since we have our own
>> bug tracker already.
> 
> Well, that shouldn't really hurt as most of our users already know that 
> Gentoo developers don't care about them at all.
> 

can we please calm down once again?

-- 
Regards,
Markos Chandras

Reply via email to