mirror of
https://github.com/brl/mutter.git
synced 2025-01-21 00:48:56 +00:00
c45a64be7a
Same reasoning than gnome-shell@dbc9ebc6abc8 applies, it may be useful to run a pipeline with matching branches in the other project, without necessarily opening a merge request. Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/3153>