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