Correction : rule_git_reset : remotes/master .
[lhc/ateliers.git] / vm_hosted
index 8afa6b4..c87f309 100755 (executable)
--- a/vm_hosted
+++ b/vm_hosted
@@ -32,7 +32,7 @@ rule_git_config () {
 rule_git_reset () {
        (
        cd "$tool"
-       git checkout -f -B master origin
+       git checkout -f -B master remotes/master
        git clean -f -d -x
        )
  }