Gentoo Archives: gentoo-dev

From: Jeroen Roovers <jer@g.o>
To: gentoo-dev@l.g.o
Subject: Re: [gentoo-dev] Github PR commenting policy
Date: Sun, 20 Sep 2015 09:28:12
Message-Id: 20150920112604.36cc6f90@marga.jer-c2.orkz.net
In Reply to: [gentoo-dev] Github PR commenting policy by Fernando Rodriguez
1 On Fri, 18 Sep 2015 20:09:16 -0400
2 Fernando Rodriguez <frodriguez.developer@×××××××.com> wrote:
3
4 > Github allows editting of comments in pull requests. Is there a
5 > policy regarding that? I've noticed a comment disappear which makes
6 > the rest of the conversation seem out of place.
7
8 My personal policy is to completely ignore anything Gentoo related that
9 gets posted on Github. I am also actively contemplating leaving the
10 Gentoo organisation on Github altogether since it's basically useless
11 (for reasons such as the one you mentioned) and since we have our own
12 bug tracker already.
13
14
15 jer

Replies

Subject Author
Re: [gentoo-dev] Github PR commenting policy "Michał Górny" <mgorny@g.o>
Re: [gentoo-dev] Github PR commenting policy Alexander Berntsen <bernalex@g.o>