04.06., 9:00 - 12:00: GitLab will be migrated to a new server environment and upgraded to Enterprise Edition Ultimate. The estimated downtime will be 2-3 hours. Please see https://doku.lrz.de/display/PUBLIC/GitLab+Ultimate+Migration for more details about changes related to the migration.
|...||...||@@ -34,7 +34,7 @@ You can either install the softwares on your own machine, use a virtual machine|
|docker run -it -p 9000:8888 --mount src="$(pwd)",target=/commonroad-search,type=bind tomdoerr/commonroad-search|
| and open the Jupyter Notebook by visiting `localhost:9000` in your web browser.|
|     and open the Jupyter Notebook by visiting `localhost:9000` in your web browser.|
|After you have set up your environment, please further proceed with `notebooks/tutorials/0_Guide_for_Exercise.pdf`.|