mirror of
https://github.com/FreshRSS/Extensions.git
synced 2026-11-04 10:48:40 +00:00
* Trigger `extensions.json` generations faster So that any changes made in this repository take effect right away on the Extensions page in FreshRSS. * Also when the generate workflow gets updated