2015-06-18 01:00:03 +02:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
|
|
if [ "$1" = "clone" ]; then
|
2017-03-20 00:41:04 +01:00
|
|
|
git clone "https://${GH_TOKEN}@github.com/coursier/coursier.git" -b gh-pages coursier-gh-pages >/dev/null 2>&1
|
2015-06-18 01:00:03 +02:00
|
|
|
else
|
|
|
|
|
git push origin gh-pages >/dev/null 2>&1
|
|
|
|
|
fi
|
