aboutsummaryrefslogtreecommitdiff
path: root/docs/en/users/09_refreshing_feeds.md
diff options
context:
space:
mode:
authorGravatar Alexandre Alapetite <alexandre@alapetite.fr> 2023-11-08 20:24:24 +0100
committerGravatar GitHub <noreply@github.com> 2023-11-08 20:24:24 +0100
commit44a7c54a5a6afb72937425cee0d53610e440ec60 (patch)
tree3814bd499c1d59af39620c07cabb2f805e4ca54a /docs/en/users/09_refreshing_feeds.md
parent348028a29043b7d1d0f80544c44f0454b2c375c3 (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.md2
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.