Magnus Hagander <magnus@hagander.net> writes:
> On Mon, Sep 6, 2010 at 06:09, Tom Lane <tgl@sss.pgh.pa.us> wrote:
>> If we can set it to a value different from any actual committer name,
>> that would be a good thing to do.
> I intentionally picked the "pgsql" user because AFAIK that's what
> we've been previously using for "commits that aren't commits".
Uh, no, not so. Marc used to use that ID for commits related to
pushing new versions. It's been retired, but there's nothing un-real
about the commits under that ID. Please pick something else. I thought
the suggestion of cvs2git was a good one.
regards, tom lane
