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

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

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

  f402fb4... ci: Build gnome-shell
  b7801d6... Debug
  5f81a26... tmp: Cut out source check stage
  38a63e0... deal with unset MR_BRANCH_NAME
  9f9bc7d... Grmmbl
  7fd0bec... ci: Install dependencies
  ba00e72... yadda yadda
  2d83d1a... ci: Drop -werror

Commits added to the branch:

  f28ce93... ci: Add build stage
  b08fe32... ci: Check that pot file is generated correctly