[gnome-shell] (7 commits) Non-fast-forward update to branch wip/carlosg/ci-coverity

[Marge Bot <marge-bot src gnome org>]

The branch 'wip/carlosg/ci-coverity' 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:

  5fee643... ci: Funnel package list to be built correctly
  88d1bba... ci: Add job for pushing coverity reports

Commits added to the branch:

  4340170... st/test-theme: Rename theme context variable (*)
  5acab6c... Port to MetaContext (*)
  d265dab... main: Take over setting signal handlers and changing dir (*)
  20d99c6... search: Exclude hidden results from keynav (*)
  b156cab... swipeTracker: Use unaccelerated deltas (*)
  37a6434... ci: Funnel package list to be built correctly
  6203668... ci: Add job for pushing coverity reports

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