On Fri, 18 Sep 2015 20:09:16 -0400
Fernando Rodriguez <frodriguez.develo...@outlook.com> 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.
jer
