| title | date | affected | resolved | resolvedWhen | section | severity | |
|---|---|---|---|---|---|---|---|
Issue with pushing to dist-git |
2023-04-11T18:28:00+02:00 |
|
true |
2023-04-12T16:30:00+02:00 |
issue |
disrupted |
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.