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
