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.
regards, tom lane
