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

[Christian Hergert <chergert src gnome org>]

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

  fda67ae... wip
  078e6cc... use custom model and single listbox
  f5d7ff9... remove searchgroup
  7d7ccf9... start on all results by-group view
  9c41705... style tweaks
  9f23eed... fowrard/backward navigation
  ee3abc7... add plumbing for item activation

Commits added to the branch:

  9fe3ef1... project-tree: remove deprecations workaround (*)
  8855859... main: use stdin instead of stdout for terminal detection (*)
  d1ae171... main: use SHLVL=0 to detect we are not run from a terminal (*)
  f749afb... wip

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