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
