VERSION: put the "gitcolone" repo_rev value back