[mutter] (11 commits) Non-fast-forward update to branch gbsneto/better-ci

[Georges Basile Stavracas Neto <gbsneto src gnome org>]

The branch 'gbsneto/better-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:

  3f386e7... ci: Build GNOME Shell at the test stage
  50ce098... ci: Install to Mutter and GNOME Shell to /usr
  2462f27... ci: Add GNOME Shell dependencies to Dockerfile
  e31da5b... ci: Update gsettings-desktop-schema URLs

Commits added to the branch:

  ee4bb22... workspace: Activate a window also if it's already in worksp (*)
  23a8ea2... idle-monitor: Use G_SOURCE_CONTINUE instead of TRUE (*)
  1ca0fdc... idle-monitor: Postpone dispatching of idle timeout if not r (*)
  0d50a37... display: Fix a possible bug in meta_display_sync_wayland_fo (*)
  5480a3f... Update POTFILES.in (*)
  ac15a8a... Updated Spanish translation (*)
  ae6d9e3... backends: Fallback to builtin panel for devices where all h (*)
  3689ea8... ci: Build GNOME Shell at the test stage
  5a84833... ci: Install to Mutter and GNOME Shell to /usr
  d584a9c... ci: Add GNOME Shell dependencies to Dockerfile
  aac077c... ci: Update gsettings-desktop-schema URLs

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