Skip to content

Fix workflow push and PR creation permissions#8

Merged
jgeudens merged 1 commit intomainfrom
improve_script
Apr 30, 2026
Merged

Fix workflow push and PR creation permissions#8
jgeudens merged 1 commit intomainfrom
improve_script

Commits

Commits on Apr 30, 2026