We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 1d7762d commit e0134b3Copy full SHA for e0134b3
1 file changed
deploy
@@ -0,0 +1,12 @@
1
+#!/usr/bin/env bash
2
+REV=`git describe --always`
3
+rm -rf _public
4
+git clone $(git remote get-url origin) --depth 1 -b gh-pages _public
5
+cd _public
6
+git rm -r *
7
+cp -R ../web/static/* ./
8
+git add *
9
+git commit -m "regen for $REV"
10
+git push
11
+cd ..
12
0 commit comments