diff options
Diffstat (limited to 'deploy.sh')
| -rw-r--r-- | deploy.sh | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/deploy.sh b/deploy.sh deleted file mode 100644 index 78f4769d..00000000 --- a/deploy.sh +++ /dev/null @@ -1,18 +0,0 @@ -#!/bin/sh - -rev=$(git rev-parse --short HEAD) - -cd target/doc - -git init -git config user.name "Carl Lerche" -git config user.email "me@carllerche.com" - -git remote add upstream "https://$GH_TOKEN@github.com/carllerche/nix-rust" -git fetch upstream && git reset upstream/gh-pages - -touch . - -git add -A . -git commit -m "rebuild pages at ${rev}" -git push -q upstream HEAD:gh-pages |