`dl_dep.sh` does not allow to checkout a specific commit from a branch
If the commit SHA is on another branch, git checkout does not work as we have used --single-branch
on the clone.
The solution is to remove the option from the scripts.
If the commit SHA is on another branch, git checkout does not work as we have used --single-branch
on the clone.
The solution is to remove the option from the scripts.