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

[Christian Hergert <chergert src gnome org>]

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

  3957b27... buildsystem: fix type check in preconditions
  ba0ffa3... compile-commands: avoid unnecessary thread usage
  ab2f078... gca: include proper header
  a30cc41... threading: add new threadpool kinds
  377db86... threading: add IdeTask as basis for new tasking design
  c02c8c0... libide: port to IdeTask
  e6374f1... plugins: port most plugins to IdeTask

Commits added to the branch:

  62c8013... Update Greek translation (*)
  7499aac... flatpak: return value for threaded GTask (*)
  5852061... gca: include proper header (*)
  e5e4bd4... compile-commands: avoid unnecessary thread usage (*)
  fbf3e10... buildsystem: fix type check in preconditions (*)
  2f5591d... devices: use correct type when checking async result (*)
  3eeaef5... symbol-tree: make sure we return a result for tasks (*)
  0dd5966... xml-service: fix type checks in async callbacks (*)
  7b7d764... threading: add new threadpool kinds
  2391192... threading: add IdeTask as basis for new tasking design
  0989a8d... libide: port to IdeTask
  1a4426e... plugins: port most plugins to IdeTask

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