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. -- Reply to this email directly or view it on GitLab: https://gitlab.gnome.org/Infrastructure/Infrastructure/-/issues/239#note_756739 You're receiving this email because of your account on gitlab.gnome.org.
_______________________________________________ gnome-infrastructure mailing list [email protected] https://mail.gnome.org/mailman/listinfo/gnome-infrastructure
