ci: Improve gnome-shell checkout (!1630) · Merge requests · GNOME / mutter · GitLab

Florian Müllner requested to merge fmuellner/mutter:better-shell-checkout into master Dec 11, 2020

Same as gnome-shell!1529 (merged) (plus fix in gnome-shell!1531 (merged))