Git push to deploy, with optional Nix-based CI (experimental, it powers code.khuedoan.com and my other projects, but may not be useful outside my specific use cases) - View it on GitHub