[gnome-builder] (13 commits) Non-fast-forward update to branch wip/afranke/userdoc

[Alexandre Franke <afranke src gnome org>]

The branch 'wip/afranke/userdoc' 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:

  fc643ce... Add user docs
  0ce2d55... Hook help into the UI
  68f9cb4... Add keyboard shortcut for help

Commits added to the branch:

  a708e48... prefs: add section for diagnostics (*)
  5ca15b4... vala: add preference to disable vala warnings (*)
  18405c3... plugins: track enabled changes in IdeExtensionSetAdapter (*)
  3ab9673... Add user docs (*)
  d375260... Hook help into the UI (*)
  80eb6a5... Add keyboard shortcut for help (*)
  3848474... help: update ignore files (*)
  95e4d8e... po: update POTFILES (*)
  f99f457... gb-command-provider: fix style (*)
  26b425d... Updated POTFILES.in and POTFILES.skip (*)
  c95e334... Add comments to POTFILES.in and POTFILES.skip (*)
  60aac03... prefs: add row spacing for every row but the first (*)
  e193dc0... prefs: fix calculation of column height (*)

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