dépôts
/
lhc
/
ateliers.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Modification : vm_hosted : rule_git_configure : synchronise au push remotes/master...
[lhc/ateliers.git]
/
vm_remote
diff --git
a/vm_remote
b/vm_remote
index
3381568
..
467d528
100755
(executable)
--- a/
vm_remote
+++ b/
vm_remote
@@
-40,7
+40,6
@@
rule_git_push () { # SYNTAX: {host|hosted} $git_push_options
cd "$tool"
local remote=${1#remote=}; shift
GIT_SSH=./lib/ssh git push -v "$remote" "$@"
- info "penser à faire : vm_hosted git_reset"
)
}