diff options
| author | 2023-11-08 20:24:24 +0100 | |
|---|---|---|
| committer | 2023-11-08 20:24:24 +0100 | |
| commit | 44a7c54a5a6afb72937425cee0d53610e440ec60 (patch) | |
| tree | 3814bd499c1d59af39620c07cabb2f805e4ca54a /docs/en/users/09_refreshing_feeds.md | |
| parent | 348028a29043b7d1d0f80544c44f0454b2c375c3 (diff) | |
Update WebSub documentation a bit (#5829)
* Update WebSub documentation a bit
* Marien prefers not to promote his hub too much :-)
Diffstat (limited to 'docs/en/users/09_refreshing_feeds.md')
| -rw-r--r-- | docs/en/users/09_refreshing_feeds.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/en/users/09_refreshing_feeds.md b/docs/en/users/09_refreshing_feeds.md index 6d9c2af55..0f3debfc3 100644 --- a/docs/en/users/09_refreshing_feeds.md +++ b/docs/en/users/09_refreshing_feeds.md @@ -114,7 +114,7 @@ If your FreshRSS instance uses no authentication (public instance, default user) ### Background -FreshRSS does not, by design, supports pull refreshes at frequencies higher than once every 15 minutes. But FreshRSS supports instant push (WebSub). +FreshRSS does not, by design, supports pull refreshes at frequencies higher than once every 15 minutes. But FreshRSS supports [instant push (WebSub)](WebSub.md). FreshRSS is part of an RSS ecosystem. A typical reaction that we have seen from several servers is to simply ban by, IP, user-agent, or to remove their RSS feed altogether. Bad user behaviours affect the larger community. |
