]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
config: Remove redundant cast
authorDaan De Meyer <daan.j.demeyer@gmail.com>
Thu, 29 May 2025 14:35:08 +0000 (16:35 +0200)
committerDaan De Meyer <daan.j.demeyer@gmail.com>
Thu, 29 May 2025 18:02:28 +0000 (20:02 +0200)
mkosi/config.py

index 7f25484f1d038fe494c60745f9a0e43371bcd123..130c66018b1d4ec814fe81a9f1b4d2b1118b4452 100644 (file)
@@ -1051,7 +1051,7 @@ def config_default_proxy_url(namespace: dict[str, Any]) -> Optional[str]:
 
     for k, v in os.environ.items():
         if k in names:
-            return cast(str, v)
+            return v
 
     return None