Due to a new pre-push hook
being applied in dist-git, we are unable to create pull-requests
from fork as part of propose-downstream and pull-from-upstream jobs.
We are sorry about that and are working on a way how to resolve this.
Last updated: December 16, 2025 at 10:41 AM UTC