[gnome-software] (2 commits) Non-fast-forward update to branch wip/hughsie/shell-extension-origin

[Richard Hughes <rhughes src gnome org>]

The branch 'wip/hughsie/shell-extension-origin' 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:

  ec1001d... Set the shell extension origin correctly in all cases

Commits added to the branch:

  0415f43... trivial: Move the CI to F31 to avoid a large download for e (*)
  5b08e4a... Set the shell extension origin correctly in all cases

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