2 months ago
5f6c911
Queueing is best-effort: the push already succeeded, so a failure to enqueue must not surface as an error on the user's git push.
Parent2e5f0d4