]> git.ipfire.org Git - thirdparty/systemd.git/commitdiff
Merge pull request #25327 from keszybz/mkosi-less-work
authorFrantisek Sumsal <frantisek@sumsal.cz>
Mon, 14 Nov 2022 11:44:16 +0000 (11:44 +0000)
committerGitHub <noreply@github.com>
Mon, 14 Nov 2022 11:44:16 +0000 (11:44 +0000)
Skip mkosi runs on docs-only changes and some small cleanups

1  2 
mkosi.build

diff --cc mkosi.build
Simple merge