git://git.onelab.eu
/
infrastructure.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
5057e0f
)
remove check file just after pushing to branches
author
Barış Metin
<Talip-Baris.Metin@sophia.inria.fr>
Thu, 4 Nov 2010 08:45:54 +0000
(09:45 +0100)
committer
Barış Metin
<Talip-Baris.Metin@sophia.inria.fr>
Thu, 4 Nov 2010 08:45:54 +0000
(09:45 +0100)
scripts/git-mirror.sh
patch
|
blob
|
history
diff --git
a/scripts/git-mirror.sh
b/scripts/git-mirror.sh
index
029fcab
..
949234f
100755
(executable)
--- a/
scripts/git-mirror.sh
+++ b/
scripts/git-mirror.sh
@@
-139,11
+139,12
@@
function mirror () {
else
run "git push --tags local_master" ${REPO_DIR}
push_all_branches $NAME local_master $REPO_DIR
+
+ # success, remove previous check file if any
+ CHECK_FILE=$REPO_DIR/$NOTIFIED_FILE
+ rm -f $CHECK_FILE
fi
fi
-
- CHECK_FILE=$REPO_DIR/$NOTIFIED_FILE
- rm -f $CHECK_FILE
done
}