mirror of
https://github.com/the-draupnir-project/Draupnir.git
synced 2026-09-01 16:48:27 +00:00
This worked fine when the PR originated in the main repo but did not for external PRs and this workflow is safe for external due to no secrets access.