Tobi Schäfer f90d1e0667 Simplify repository workflows ... Use deploy workflow for staging, too		2025-05-25 16:58:53 +02:00
..
workflows	Simplify repository workflows	2025-05-25 16:58:53 +02:00