This repository has been archived by the owner on Nov 23, 2024. It is now read-only.
ci: when releasing, create a PR instead of pushing to main#13
Merged
lars-reimann merged 1 commit intomainfrom release_prMar 14, 2023
+684-58
