[gnome-builder] (10 commits) Non-fast-forward update to branch wip/project-selector

[Christian Hergert <chergert src gnome org>]

The branch 'wip/project-selector' 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:

  d65d06f... libide: add IdeProjectMiner and IdeProjectInfo types
  c06fe5c... autotools: add basic autotools project miner
  2a6105d... startup: stub out project window for startup
  999f62e... project-window: start rendering discovered items from proje
  a6f2c84... libide: add autotools miner to public API
  0c8dd0f... project-window: load workbench when row is activated
  2a4344e... projects: allow opening a new project from application menu
  d093c19... project-window: add search bar to project window

Commits added to the branch:

  fda1aba... nautilus: update floating bar, with spinner fix (*)
  473df3c... editor: fix position of labels relative to spinner (*)
  fcc87ff... libide: add IdeProjectMiner and IdeProjectInfo types
  dd791b5... autotools: add basic autotools project miner
  bff4894... startup: stub out project window for startup
  1e13041... project-window: start rendering discovered items from proje
  56a5952... libide: add autotools miner to public API
  d0fe1f4... project-window: load workbench when row is activated
  9f4b117... projects: allow opening a new project from application menu
  5265bfa... project-window: add search bar to project window

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