Check if HEAD file is present so it's more likely to run only on git repo
Description
Description
Details
Details
- Committed
c4science bot <bot@c4science.ch> Aug 8 2018, 18:52 - Pushed
aubort Aug 8 2018, 18:52 - Parents
- rPHINFRA9d7330261960: change dir to repo dir
- Branches
- Unknown
- Tags