To-dos before making the repo public

  • GitHub mirror !37 (merged)
  • Blocking runner !36 (closed)
  • Get cquad running again (might be unrealistic to do before Tuesday)
Edited by Bas Nijholt