From: Jörg Behrmann Date: Sat, 27 Jan 2024 15:41:24 +0000 (+0100) Subject: Merge pull request #2333 from DaanDeMeyer/fix X-Git-Tag: v21~79 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=145456f0d5534b3638598fe1c8602c03c45dd447;p=thirdparty%2Fmkosi.git Merge pull request #2333 from DaanDeMeyer/fix Introduce want_local_repo() --- 145456f0d5534b3638598fe1c8602c03c45dd447