Labels

• bug

  Something isn't working
• ci/cd
• dependencies

  Pull requests that update a dependency file
• documentation

  Improvements or additions to documentation
• enhancement

  New feature or request
• good first issue

  Good for newcomers
• lecture
• next-run

  Issue for the next run of the course
• question

  Further information is requested
• seo

  SEO-optimizations
• student