[scripts/generate_result] add '-g/--git' command-line option

This commit is contained in:
Mike Fährmann
2025-08-17 19:40:39 +02:00
parent d8e466da15
commit c38386f1ed
2 changed files with 8 additions and 1 deletions

View File

@@ -32,6 +32,7 @@ def git(command, *args):
return subprocess.Popen(
["git", command, *args],
stdout=subprocess.PIPE,
cwd=ROOTDIR,
).communicate()[0].strip().decode()