Automatically update docs

2026-08-15 00:00:18 +02:00 · 2015-02-09 22:40:19 -08:00
parent 17637665e9
commit ca0e971002
2 changed files with 26 additions and 0 deletions
@@ -0,0 +1,18 @@
+#!/bin/bash
+
+rev=$(git rev-parse --short HEAD)
+
+cd target/doc
+
+git init
+git config user.name "Carl Lerche"
+git config user.email "[email protected]"
+
+git remote add upstream "https://$GH_TOKEN@github.com/carllerche/bytes"
+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