#!/bin/sh

if [ $TRAVIS_REPO_SLUG != "delta-lang/delta" ] || [ $TRAVIS_BRANCH != "master" ]; then
    exit;
fi

git clone https://github.com/delta-lang/delta-lang.github.io.git
cd delta-lang.github.io

DELTA_VERSION=$TRAVIS_COMMIT
echo $DELTA_VERSION > src-backend/.delta-version
git add src-backend/.delta-version
git commit --message "Update Delta version to $DELTA_VERSION" --author "Delta CI <>"

git remote set-url origin https://${GITHUB_TOKEN}@github.com/delta-lang/delta-lang.github.io.git > /dev/null 2>&1
git push --quiet

#!/bin/sh

if [ $TRAVIS_REPO_SLUG != "delta-lang/delta" ] || [ $TRAVIS_BRANCH != "master" ]; then
    exit;
fi

git clone https://github.com/delta-lang/delta-lang.github.io.git
cd delta-lang.github.io

DELTA_VERSION=$TRAVIS_COMMIT
echo $DELTA_VERSION > server/.delta-version
git add server/.delta-version
git commit --message "Update Delta version to $DELTA_VERSION" --author "Delta CI <>"

git remote set-url origin https://${GITHUB_TOKEN}@github.com/delta-lang/delta-lang.github.io.git > /dev/null 2>&1
git push --quiet

Update sandbox version file path
Update sandbox version file path
