[acdha]

Setting up a GitHub alternative is quite expensive but if you're just making your deployment system more robust it doesn't need to be more time consuming as having a server which you can SSH to.