gccadmin hooks: make it a public git repo

[Martin Liška]

PING^1

On 1/14/21 10:02 AM, Martin Liška wrote:
> On 1/13/21 6:00 PM, Joseph Myers wrote:
>> I'm fine with having it set up with a public repository.
> 
> Ok, can you please do it Joseph?
> 
>> If you have a
>> public (bare) repository that would of course need to have its own hooks
>> to update the (non-bare) hooks-bin checkout after a push.
> 
> I can imagine a cron job similar to which one we use for 'Daily bump'.
> Would it be feasible?
> 
> Thanks,
> Martin
>