Andres Freund <andres@anarazel.de> writes:
> On 2015-09-29 13:40:28 -0400, Tom Lane wrote:
>> I think you missed my point: gitlab would then believe it's in charge of,
>> eg, granting write access to that repo. We could perhaps whack it over
>> the head till it only does what we want and not ten other things, but
>> we'd be swimming upstream.
> We today already have a github mirror, where exactly the same thing
> exists, no?
Sure, there's a mirror out there somewhere. It has nothing to do with
our core development processes.
regards, tom lane