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

[Christian Hergert <chergert src gnome org>]

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

  aa758b3... deviced: add device provider backed by libdeviced
  651e6de... omnibar: add menu for current deploy device

Commits added to the branch:

  1c2fbf6... manager: invalidate pipeline when current device changes (*)
  70cec35... code-index: reduce chunk size before checking timer (*)
  7da0b23... pipeline: add attach current device to build pipeline (*)
  f792cce... deviced: add device provider backed by libdeviced
  aad93b3... omnibar: add menu for current deploy device
  0a87196... wip

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