Do not delete repo in docker image

Author: finsberg

docker/Dockerfile

@@ -2,11 +2,9 @@ FROM finsberg/fenics-gmsh
 
 ARG REPO_BRANCH="main"
 
-WORKDIR /tmp
+WORKDIR /repo
 
 # Copy pyproject.toml first so that we done need to reinstall in case anoter file
 # is changing ater rebuiding docker image
 RUN git clone --branch ${REPO_BRANCH} --single-branch https://github.com/scientificcomputing/example-paper-fenics.git
 RUN cd example-paper-fenics && python3 -m pip install pip --upgrade && python3 -m pip install --no-cache-dir -r requirements.txt && rm -rf /tmp
-
-RUN rm -rf /tmp