CGAL: Commit hash can not be specified in git clone
Update module deps/cgal ...
Running 'git clone https://github.com/CGAL/cgal.git repos/deps/cgal --branch
ea20dfd63f' failed with return code 128..
Cloning into 'repos/deps/cgal'...
fatal: Remote branch ea20dfd63f not found in upstream origin
We probably need to call git checkout ea20dfd63f
after git clone
. I didn't find a way to specify the commit hash in git clone.
Edited by Patrick Hegemann