Done in #190, squash-merged as 0e637d5. DEPLOYMENT.md now has a "Deploying on Merge" section.
That merge was also the first one to deploy through the Dokploy GitHub App, after its Webhook URL was moved to a public address. The repository webhooks are gone, so each merge deploys once.