Fixing git checkout: use commit as REV.