]> git.ipfire.org Git - thirdparty/systemd.git/commit
ci: Remove a bunch of labels when a PR is merged
authorDaan De Meyer <daan.j.demeyer@gmail.com>
Tue, 10 Jan 2023 12:16:33 +0000 (13:16 +0100)
committerDaan De Meyer <daan.j.demeyer@gmail.com>
Tue, 10 Jan 2023 13:52:53 +0000 (14:52 +0100)
commit81315baa68c9c8f7f6f5608fa8bc1daebf0618df
tree46acf25afb2400c5d7b74dc9b3b08dd0e5fd6ff4
parent9914ae60382176b6a09c6226e8e90ab7184e8431
ci: Remove a bunch of labels when a PR is merged
.github/workflows/labeler.yml