Resolve "Update installation instructions"
Closes #50 (closed)
-
Cherry-pick 344701b5 -
delete branch 50-update-installation-instructions -
in CONTRIBUTING.mdadd info on how to update PROD repo (currently at gitlab.ethz.ch)
Edited by schmittu
Closes #50 (closed)
50-update-installation-instructions
CONTRIBUTING.md add info on how to update PROD repo (currently at gitlab.ethz.ch)