Labels

• API

  These are issues related to our API
• back-end

  These are issues related to our Django back-end
• blocked

  These issues are blocked by something. See the comments.
• bug

  Undesired and unintended behaviour in the website
• dependencies

  Pull requests that update a dependency file
• discussion

  These issues are still in discussion, and should not be started/worked on.
• documentation

  These issues relate to the documentation about our website.
• easy-to-fix

  These issues are easy to fix and recommended for newer members.
• enhancement

  These issues are enhancements to (already existsing) functionality on the website.
• feature request

  For issues that propose an entirely new feature to the website
• front-end

  These are issues related to our html/css/js frontend.
• github_actions

  Pull requests that update GitHub Actions code
• hard-to-fix

  These are issues that are hard to fix, or a lot of work.
• help wanted

  The assignee of this ticket requests help with this ticket.
• invalid

  These issues are not valid for the project.
• maintenance

  These are issues that are related to maintenance
• mobile app

  These are issues related to our mobile application.
• Priority

  These issues are a priority and should be worked on before the other issues.
• python

  Pull requests that update python code
• question

  These issues are questions to the WWW-committee.
• SymposIA

  For all the symposIA
• translations

  These issues are related to our translation files.
• wontfix

  These are issues that we decided we will not fix unless there are more/better reasons to do so.