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
)
cd "$tool"
git remote rm host || true
git remote add host $vm_host:tool/vm
- git config --replace remote.host.push HEAD:refs/heads/origin
+ git config --replace remote.host.push HEAD:refs/remotes/master
git remote rm hosted || true
git remote add hosted root@$vm_fqdn:tool/vm
- git config --replace remote.hosted.push HEAD:refs/heads/origin
+ git config --replace remote.hosted.push HEAD:refs/remotes/master
)
}
rule_git_push () { # SYNTAX: {host|hosted} $git_push_options