Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
docker: ensure working directory is clean
Using git archive to transfer files to the docker images means uncommitted modifications aren't transfered. It can be confusing if the modifications aren't reflected in the results. Fail with a warning message if the working directory is not clean.
- Loading branch information