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:
4db9432
)
define fetch sources
author
Baris Metin
<Talip-Baris.Metin@sophia.inria.fr>
Fri, 18 Jun 2010 13:25:00 +0000
(15:25 +0200)
committer
Baris Metin
<Talip-Baris.Metin@sophia.inria.fr>
Fri, 18 Jun 2010 13:25:00 +0000
(15:25 +0200)
scripts/git-mirror.sh
patch
|
blob
|
history
diff --git
a/scripts/git-mirror.sh
b/scripts/git-mirror.sh
index
5dbc411
..
5f42d64
100755
(executable)
--- a/
scripts/git-mirror.sh
+++ b/
scripts/git-mirror.sh
@@
-14,8
+14,8
@@
function mirror () {
then
echo "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx pulling from ${REPO_NAME}"
pushd ${REPO}
- git fetch --tags
- git pull
+ git fetch
origin
--tags
+ git pull
origin master
popd
else
echo "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx mirroring in ${REPO_NAME} for the first time"
@@
-28,7
+28,7
@@
function mirror () {
echo "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx pushing ${REPO_NAME} to local master"
pushd ${REPO}
git fetch local_master --tags
- git pull local_master
+ git pull local_master
master
git push local_master
git push --tags local_master