• Aral Balkan's avatar
    Update deploy script to force push commits · 23befe93
    Aral Balkan authored
    (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.)
    23befe93