[gnome-shell] (6 commits) Non-fast-forward update to branch wip/fmuellner/ci-test

[Florian Müllner <fmuellner src gnome org>]

The branch 'wip/fmuellner/ci-test' 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:

  348f292... ci: Skip source_check stage when appropriate
  684540e... ci: Add build stage
  7a37172... ci: Add test stage
  788e4b2... ci: Check that pot file is generated correctly
  dbc63b0... ci: Skip changes when appropriate

Commits added to the branch:

  da3953a... Clean out some eclipse artefacts (*)
  fc1be0e... ci: Skip source_check stage when appropriate (*)
  56b3c85... ci: Add build stage (*)
  c2c70df... ci: Add test stage (*)
  e15e59c... ci: Check that pot file is generated correctly (*)
  6712de8... test

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