From 00221571ea10b319cda22fd63b7b8ce5446b58bb Mon Sep 17 00:00:00 2001
From: Alexandre Roux <alexandre.roux.danzi@lostpod.me>
Date: Wed, 28 Jun 2023 09:33:19 +0000
Subject: [PATCH] include revision to fix manifest generation

---
 src/build_manifest.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/build_manifest.py b/src/build_manifest.py
index 4a6b269..bb762fe 100755
--- a/src/build_manifest.py
+++ b/src/build_manifest.py
@@ -54,6 +54,9 @@ if __name__ == "__main__":
             if args.remote:
                 attributes["remote"] = args.remotename
 
+            if "revision" in child.attrib:
+                attributes["revision"] = child.attrib["revision"]
+
             ET.SubElement(xmlout, 'project', attrib=attributes)
 
     xmlstr = minidom.parseString(ET.tostring(xmlout)).toprettyxml(indent="  ", encoding="UTF-8")
-- 
GitLab