[mutter] (13 commits) Non-fast-forward update to branch wip/carlosg/ci-coverity

[Carlos Garnacho <carlosg 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:

  55dad6e... ci: Run coverage target by default
  49e7b92... ci: Add job for pushing coverity reports

Commits added to the branch:

  52e2afa... clutter/actor: Don't check handlers when emitting stage-vie (*)
  8b21fb4... clutter: Remove ClutterRedrawFlags (*)
  3ea9217... clutter/actor: Remove _clutter_actor_queue_redraw_with_clip (*)
  1039235... clutter/actor: Make functions to queue relayout/redraw on c (*)
  84dd6b4... clutter/stage: Remove redraw_pending and redraw_count (*)
  b1700c3... clutter/actor: Remove two unused functions in private heade (*)
  8711d8d... backend: Keep a refcount on backend's current_device (*)
  a77e1f2... drm-buffer-gbm: Clear framebuffer with g_clear_object (*)
  c7a0ab3... background-content: ceilf the actor size instead of roundf (*)
  5ab187d... README: Add link to wiki (*)
  8fb30e6... README: Elaborate coding style and commit message guideline (*)
  f4c0c1b... ci: Run coverage target by default
  bbe7299... ci: Add job for pushing coverity reports

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