Add github workflow permissions#1492

olivervogel merged 1 commit into

developIntervention/image:developfrom

feature/workflow-permissionsIntervention/image:feature/workflow-permissionsCopy head branch name to clipboard