gnome-shell

History

Florian Müllner dbc9ebc6ab ci: Look for matching ref in user remote for branch pipeline

We currently only find a matching ref on the same remote in
a merge request pipeline, but not in branch pipelines.

It can occasionally be useful to run a pipeline without opening
a merge request, so try the same remote here as well instead of
just assuming origin.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2814>

2023-07-07 17:28:26 +00:00

build-toolbox-image.sh

Revert "ci: Wrap calls with sudo when building toolbox"

2023-06-28 23:44:52 +02:00

check-potfiles.sh

ci: Include .ui files in POTFILES check

2022-02-12 11:49:03 +00:00

checkout-mutter.sh

ci: Look for matching ref in user remote for branch pipeline

2023-07-07 17:28:26 +00:00

commit-rules.yml

ci: Add commit rule to not end subject with punctuation