[tracker] (12 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:

  599f7c6... docs: Invert colors in our icons
  7101d98... doc: Tweak hotdoc theme
  e043ba3... ci: Update fedora image with documentation tools
  7eb862c... docs: Generate keywords helper file for markdown documentat
  4c3dc32... docs: Install devhelp files
  f863f82... ci: Make Rawhide failable
  35b05d1... build: Make hotdoc target depend on ontology docs
  e47a8cb... ci: Add glib2-doc to fedora image

Commits added to the branch:

  834c5e7... doc: Tweak hotdoc theme (*)
  37036e6... ci: Update fedora image with documentation tools (*)
  149b8a2... docs: Generate keywords helper file for markdown documentat (*)
  1531b05... docs: Install devhelp files (*)
  debfb82... ci: Make Rawhide failable (*)
  288b871... build: Make hotdoc target depend on ontology docs (*)
  ad94857... ci: Add glib2-doc to fedora image (*)
  c61ab74... ci: Isolate coverage job into its own build/test run (*)
  24c58d3... ci: Exclude generated boilerplate in coverage checks (*)
  9324fef... ci: Add intermediate job to build the website before deploy (*)
  c09d199... ci: Change src/dest dirs for hotdoc documentation (*)
  c7b5ea7... docs: Use lumen theme for documentation (*)

(*) This commit already existed in another branch; no separate mail sent