purescript-indexedDB/deploy.sh

mirror of https://github.com/ilyakooo0/purescript-indexedDB.git synced 2024-10-26 08:02:39 +03:00
#!/bin/sh

git stash save
git clean -df
yes | pulp publish --no-push
git stash pop
prepare CI environment 2017-07-06 12:45:36 +03:00			`#!/bin/sh`

review deploy script 2017-07-07 14:23:47 +03:00			`git stash save`
			`git clean -df`
			`yes \| pulp publish --no-push`
			`git stash pop`