88b207d74f
This means that we no longer do `git reset --hard` allowing local changes to copied into the docker container |
||
---|---|---|
.. | ||
.gitignore | ||
DeveloperSetup.md | ||
reproduce_ci_env.py | ||
requirements.txt |
88b207d74f
This means that we no longer do `git reset --hard` allowing local changes to copied into the docker container |
||
---|---|---|
.. | ||
.gitignore | ||
DeveloperSetup.md | ||
reproduce_ci_env.py | ||
requirements.txt |