On Sun, 20 Sep 2015 17:53:25 -0400 Fernando Rodriguez <frodriguez.develo...@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.develo...@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
pgp3aG3Yp7FSV.pgp
Description: OpenPGP digital signature
