projects
/
wrapfs-mgmt.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
aac494f
)
update
author
ezk
<ezk>
Mon, 4 Feb 2019 19:56:18 +0000
(19:56 +0000)
committer
ezk
<ezk>
Mon, 4 Feb 2019 19:56:18 +0000
(19:56 +0000)
git-push2.sh
patch
|
blob
|
history
diff --git
a/git-push2.sh
b/git-push2.sh
index 1ee3a9ede2d6224bb1c522701d78e53439b6554b..f861546fd4cf8b61ff366d4a23adaaa52823c6fe 100755
(executable)
--- a/
git-push2.sh
+++ b/
git-push2.sh
@@
-9,6
+9,8
@@
fi
for d in $DIRS ; do
(
+ echo '######################################################################'
+ echo "DIR: $d"
cd "$d"
git push --all || git push -f --all
git push --tags || git push -f --tags