mini·github — self-hosted git + deploys