Documentation : ajoute des info() .

[lhc/ateliers.git] / vm_remote

diff --git a/vm_remote b/vm_remote
index 0b8d0ef..a1afa1a 100755 (executable)
--- a/vm_remote
+++ b/vm_remote
@@ -37,6 +37,7 @@ rule_git_config () { # DESCRIPTION: configure le .git local pour bien pousser
 rule_git_push () { # SYNTAX: {host|hosted} $git_push_options
        local remote=${1#remote=}; shift
        GIT_SSH=./vm_ssh git push -v "$remote" "$@"
+       info "penser à faire : vm_hosted git_reset"
  }
 
 rule_ssh () {