Skip to content
New issue

Project Infrastructure

No due date 0% complete

We want to have the basic project infrastructure in place.
These are things like:

  • Reliable CI
  • Documented workflow
  • PR template with a checklist
  • Contributor's guide
  • Up-to-date website

There are no closed issues in this milestone.

Issues will automatically be moved here when they are closed.