Update deploy script to force push commits

(The deployment repository is only used for deployments and no one will ever be pulling from it so rewriting history is not a problem. On the other hand, having to deal with merges, etc., is not something we want to do when deploying.)
parent 2c1e5d25
#!/bin/sh
git push deploy master
git push --force deploy master
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment