2011-08-15 01:02:33 +02:00
|
|
|
#!/bin/sh
|
|
|
|
DIRECTORY=$(cd `dirname $0` && pwd)
|
|
|
|
|
|
|
|
GIT_DIR="$DIRECTORY"/osmand-git
|
|
|
|
GIT_URL=git://github.com/osmandapp/Osmand.git
|
|
|
|
|
|
|
|
|
|
|
|
if [ ! -d "$GIT_DIR" ]; then
|
|
|
|
git clone ${GIT_URL} "${GIT_DIR}"
|
|
|
|
fi
|
|
|
|
cd "$GIT_DIR"
|
2011-10-07 01:32:52 +02:00
|
|
|
git checkout -q .
|
2011-08-15 01:28:42 +02:00
|
|
|
git reset HEAD --hard
|
2011-10-07 01:32:52 +02:00
|
|
|
git checkout -q master
|
2011-08-15 01:28:42 +02:00
|
|
|
|
2011-08-15 01:02:33 +02:00
|
|
|
# First time add entries to .git/config (!) and add .netrc file
|
|
|
|
# [remote "google"]
|
|
|
|
# url = https://code.google.com/p/osmand/
|
|
|
|
# fetch = +refs/heads/*:refs/remotes/google/*
|
2011-10-07 01:32:52 +02:00
|
|
|
git push -q --all --force google
|
2011-08-15 01:02:33 +02:00
|
|
|
|
|
|
|
echo "Synchronization is ok"
|
|
|
|
|