certusone
/
kb
mirror of https://github.com/certusone/kb.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Helper script

This commit is contained in:
Leo 2018-10-07 21:21:01 +02:00
parent bc36aeb14d
commit 1d149bb339
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
commit-html.sh Executable file
View File

@ -0,0 +1,5 @@
#!/bin/sh
# Commit GitHub pages build
# TODO: move this to our CI server and stop using GH pages
git commit -m "Build html" docs