Add PGD to Docker image (#1070)
Copy the repository in the Dockerfile instead of cloning. This makes it possible to work with latest modifications, such as PGD in the dev branch, and also network bandwith does not get wasted.
Showing
Please register or sign in to comment