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. -- Fernando Rodriguez
