[gnome-builder] (11 commits) Non-fast-forward update to branch wip/chergert/hover

[Christian Hergert <chergert src gnome org>]

The branch 'wip/chergert/hover' 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:

  0daee18... wip: start on hover abstraction for sourceview
  a9623c2... omnigutter: remove query_tooltip
  593e72b... omnigutter: add mixed color for countpoint
  e652061... wip: devhelp: stub out hover provider for devhelp
  c0dae5e... symbol-tree: add hover provider to display symbol info
  234c25d... hover: disable hover popover on scroll-event
  d21d7f1... symbol: remove margin from hover data
  8600ad7... symbol-tree: ellipsize end of the symbol name
  bf61211... build: disable some builtins

Commits added to the branch:

  54b398e... Update German translation (*)
  a67fc2e... flatpak: ensure widget access after task propagation (*)
  0d87139... wip: start on hover abstraction for sourceview
  47b788c... omnigutter: remove query_tooltip
  10904ed... omnigutter: add mixed color for countpoint
  3a79b3c... wip: devhelp: stub out hover provider for devhelp
  2635036... symbol-tree: add hover provider to display symbol info
  d8b51bb... hover: disable hover popover on scroll-event
  18c664c... symbol: remove margin from hover data
  7555678... symbol-tree: ellipsize end of the symbol name
  a8a413b... build: disable some builtins

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