rule_git_reset () {
(
cd "$tool"
- #git checkout -f -B master origin
+ #git checkout -f -B master remotes/master
# NOTE: pas de -B sous squeeze
git checkout HEAD'^' &&
- git branch -f master origin &&
+ git branch -f master remotes/master &&
git checkout master
git clean -f -d -x
)