Update deploy

This commit is contained in:
Andrés 2018-02-25 10:52:30 -05:00 committed by GitHub
parent 5abb5ee79e
commit 0fc701850b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

3
deploy
View File

@ -1,4 +1,5 @@
#!/bin/sh
git pull origin master
git fetch
git reset --hard origin/master
mkdocs build