Feature Description

Allow a push mirror to synchronize on the push event like a web hook.
Make this the default behavior?

see also #18175
this would also provide a work around for #13539, as it would allow to trigger github actions on a mirror timely.

Screenshots

No response