Labels

• admin

  admin

  Deadlines, etc.

• bug

  bug

  Something isn't working

• documentation

  documentation

  Improvements or additions to documentation

• duplicate

  duplicate

  This issue or pull request already exists

• help wanted

  help wanted

  Extra attention is needed

• homework

  homework

  Homework related stuff

• lecture

  lecture

  Stuff related to the lecture

• tutorial

  tutorial

  Tutorial related stuff

• wontfix

  wontfix

  This will not be worked on