Update push.sh

This commit is contained in:
David Wu
2017-12-21 16:22:00 +01:00
committed by GitHub
parent 09c92094f3
commit a6e9d8907a

View File

@ -12,6 +12,7 @@ commit_website_files() {
} }
upload_files() { upload_files() {
echo "https://${GH_TOKEN}@github.com/Chalarangelo/30-seconds-of-code.git"
git push --force "https://${GH_TOKEN}@github.com/Chalarangelo/30-seconds-of-code.git" master > /dev/null 2>&1 git push --force "https://${GH_TOKEN}@github.com/Chalarangelo/30-seconds-of-code.git" master > /dev/null 2>&1
} }