]> git.ipfire.org Git - thirdparty/systemd.git/commitdiff
Merge pull request #26338 from jamacku/fix-labeling
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Tue, 7 Feb 2023 15:27:06 +0000 (16:27 +0100)
committerGitHub <noreply@github.com>
Tue, 7 Feb 2023 15:27:06 +0000 (16:27 +0100)
ci: Fix automatic removing of labels when PR is closed


Trivial merge