GitLab CI

My position as research associate came with “special teaching” tasks, which consisted of several projects in the digital transformation of higher mathematical education in cooperation with Christian Serpé. Video solutions The core project was to establish video solutions to the weekly exercises, which frees the tutors of having to present the solutions during the exercise sessions. instead the valuable time can then be used for more interactive tutoring. We evaluated various methods of producing such videos, but in the end settled on a simple setup using iPads and external mics. The videos are incorporated into the LMS (Moodle) as interactive videos using H5P. When the corona pandemic hit, this method was used in all beginner courses and managing the video production became one of my main tasks. I forced all producers to use GitLab for this, and it turned out that even without any source code the issue board of GitLab can be an extremely useful tool. ...

During my math studies in Münster I always took notes in lectures using $\LaTeX$. At first I shared the notes via Dropbox, but moved to a git based setup later on. The repository containing the source files is available on GitLab. The README contains links to all PDFs; alternatively there is a sciebo share with all the PDFs. The PDFs are build using the GitLab CI upon each new commit. I am glad that this project became popular enough to convey others to contribute lectures notes for courses I did not take. ...