Re: [gentoo-dev] Github PR commenting policy

[James Le Cuirot <chewi@gentoo.org>]

[-- Attachment #1: Type: text/plain, Size: 1210 bytes --]

On Sun, 20 Sep 2015 17:53:25 -0400
Fernando Rodriguez <frodriguez.developer@outlook.com> wrote:

> On Saturday, September 19, 2015 7:31:11 AM Michał Górny wrote:
> > Dnia 2015-09-18, o godz. 20:09:16
> > Fernando Rodriguez <frodriguez.developer@outlook.com> napisał(a):
> > 
> > > 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.
> > 
> > We can't really do anything about that. However, we might soon be
> > mirroring all comments on Bugzilla where removing comments is not
> > permitted.
> 
> I realize you can't control how users use that feature but there
> should be some policy about how developers use it. I opened at PR
> because I was asked in bugzilla. I received some suggestions to which
> I replied that most of them are not related to my PR but will still
> do them. After I pushed the changes the comment making the
> suggestions gets deleted.

They are probably not deleted but merely hidden. There should be a
"Show outdated diff" link that will reveal them.

-- 
James Le Cuirot (chewi)
Gentoo Linux Developer

[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 951 bytes --]