A workshop that has been force pushed to cannot be updated

[Christian Silver]

This is because the pull fails. This can be worked around by redeploying Heroku at the moment, but ideally our git util would be able to handle this.