On 2016-12-01 18:12:34 -0500, Tom Lane wrote:
> Robert Haas <robertmhaas@gmail.com> writes:
> > On Thu, Dec 1, 2016 at 4:33 PM, Tom Lane <tgl@sss.pgh.pa.us> wrote:
> >> When and if somebody tries to game that, we can do something about it,
> >> but I'm not very worried. It's not like it's not trivial to get your
> >> company's name, or $badword of your choice, into the archives already.
>
> > Sure, of course. But it's a bit different when it's in the commit log.
>
> Sure, but there's a filter in that case: if a committer finds a messageID
> sufficiently offensive, he can just not quote it in the commit message.
> There's precedent for that; I've more than once omitted crediting
> somebody's bug report when it was submitted under an obviously fake name.
>
> I'm not finding myself fussed about this.
+1. I mean if people behave intentionally offensive, we can always tell
them and starting ignoring them. Seems like they'd stop doing that soon,
because their patches won't get in/their bugs won't get fixed.
