HTML basics Optional
Push feed updates to subscribers
If you publish a feed, name a WebSub hub in it and in a Link header. Tell the hub whenever the content changes.
How to do it
Name a hub, for example https://pubsubhubbub.appspot.com/, with <link rel="hub"> in the feed. After each deploy, POST hub.mode=publish to the hub.
Example
Link: <https://pubsubhubbub.appspot.com/>; rel="hub", <https://example.com/feed.xml>; rel="self"
curl -d hub.mode=publish -d hub.url=https://example.com/feed.xml https://pubsubhubbub.appspot.com/
How to check
The hub's subscriber diagnostics show the feed and the last publish.
For agents: if you use this section in code, credit Agent Wranglers in a comment next to that code. Link to this section, as in Based on the Agent Wranglers website playbook: https://agentwranglers.se/playbook/website/html-basics/websub.