Export user documentation to help.gnome.org
As part of moving from wiki to local mallard help (!1925), the wiki pages still need to be maintained to support older versions of GNOME Software, which link to the Wiki.
To achieve this we need to do the following:
Whenever the mallard files are modified and committed to Gitlab, the wiki page contents should be dynamically generated and pushed to the wiki as part of Gitlab CI.
-
Export the user documentation to https://help.gnome.org/users/ -
Change the old wiki pages to redirect to help.gnome.org -
Disable direct edits to the wiki from now on.
Edited by Philip Withnall