[tracker] (3 commits) Non-fast-forward update to branch wip/carlosg/hotdoc

[Carlos Garnacho <carlosg src gnome org>]

The branch 'wip/carlosg/hotdoc' was changed in a way that was not a fast-forward update.
NOTE: This may cause problems for people pulling from the branch. For more information,
please see:

 https://wiki.gnome.org/Git/Help/NonFastForward

Commits removed from the branch:

  92d3517... docs: Install devhelp files
  1b2ce7c... docs: Add dummy ontology to introspect the builtin one
  1f546bf... ci: Make Rawhide failable

Commits added to the branch:

  cd43473... docs: Install devhelp files
  f18e5d7... docs: Add dummy ontology to introspect the builtin one
  a31aa95... ci: Make Rawhide failable