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)
commitc820bd413efaa0c186d14ed7c7e8c08962d09ca8
tree7f386fe52ffde43452d946c070a915c3175dfa33
parent8586e8ab84b46d22ce904a84b6f1c3f798dad24e
parentde95bb2a98de9de3b18365122165ac4ac425fcbd
Merge pull request #26338 from jamacku/fix-labeling

ci: Fix automatic removing of labels when PR is closed