Update 🍁2023-2024-autumn-Term-DevOps-Seminar.md#46

veronipp wants to merge 1 commit intoOpenEduTech:mainOpenEduTech/EduTechResearch:mainfrom

veronipp:patch-6veronipp/EduTechResearch:patch-6Copy head branch name to clipboard