WIP: introduce separate database schemas #102

Closed
hsh-michaelhoennig wants to merge 57 commits from introduce-separate-database-schemas into master
Showing only changes of commit fde46d26cc - Show all commits

View File

@ -11,7 +11,7 @@ while true; do
REMOTE=$(git rev-parse origin/$BRANCH) REMOTE=$(git rev-parse origin/$BRANCH)
# check if the local branch differs from the remote branch # check if the local branch differs from the remote branch
if [ "$LOCAL" == "$REMOTE" ]; then if [ "$LOCAL" != "$REMOTE" ]; then
echo "pulling changes from origin" echo "pulling changes from origin"
git pull origin $BRANCH git pull origin $BRANCH