#!/usr/bin/env bash


# delete "nodegit.github.com" folder if it exists
rm -rf "nodegit.github.com" || exit 0;

# clone "nodegit.github.com" repository
git clone "https://github.com/nodegit/nodegit.github.com.git"

# change into "nodegit.github.com" folder
cd "nodegit.github.com"

# install node dependencies
npm install

# link "nodegit" folder
ln -s ../.. generate/nodegit

# generate new docs
node generate

# configure git user information
git config user.name "Travis CI"
git config user.email "noreply@travis-ci.org"

# commit changes
git add .
git commit -m "Deploy to GitHub Pages

see https://github.com/nodegit/nodegit.github.com/commit/${TRAVIS_COMMIT}"
git tag "${TRAVIS_COMMIT}"

# push to the "nodegit.github.com" repository
git push --quiet "https://${GH_TOKEN}@github.com/nodegit/nodegit.github.com.git" master "${TRAVIS_COMMIT}" > /dev/null 2>&1