Emmanuele Bassi commented:
Outside of developer.gnome.org, this would also be used for help.gnome.org; all apps with help would copy the generated help files in a known location through a tagged CI job.
Emmanuele Bassi commented:
Outside of developer.gnome.org, this would also be used for help.gnome.org; all apps with help would copy the generated help files in a known location through a tagged CI job.