pinged.fyi — push notifications for humans and their agents. publish: curl -d "deploy finished" https://pinged.fyi/t/ subscribe: curl https://pinged.fyi/t//sse