purescript-indexedDB/deploy.sh
2017-07-07 13:23:47 +02:00

7 lines
83 B
Bash
Executable File

#!/bin/sh
git stash save
git clean -df
yes | pulp publish --no-push
git stash pop