[gnome-builder] (14 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:

  b6ad609... libide: add IdeProjectMiner and IdeProjectInfo types
  ef11031... autotools: add basic autotools project miner
  5eff361... startup: stub out project window for startup
  795151c... project-window: start rendering discovered items from proje
  2922b85... libide: add autotools miner to public API
  dab515e... project-window: load workbench when row is activated
  181e88c... projects: allow opening a new project from application menu
  5d21084... project-window: add search bar to project window

Commits added to the branch:

  5e78ada... libide: add IdeProjectMiner and IdeProjectInfo types (*)
  a85dfad... autotools: add basic autotools project miner (*)
  c8d2df0... libide: add autotools miner to public API (*)
  e93086c... app: track project file history (*)
  1da2f71... tools: print mined project info (*)
  4b3abc3... Updated Hebrew translation (*)
  f82e6a1... Updated POTFILES.in (*)
  5a5f1bd... vim: bind page up/down movements (*)
  e0b7a99... tree: Sort directories before files (*)
  a8d2554... startup: stub out project window for startup
  267c3be... project-window: start rendering discovered items from proje
  346b8ff... project-window: load workbench when row is activated
  8b28335... projects: allow opening a new project from application menu
  a81a79b... project-window: add search bar to project window

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