From d4b8105a3b84de6b663da8dfd908e6eef322c33a Mon Sep 17 00:00:00 2001
From: Carl Hetherington <cth@carlh.net>
Date: Tue, 28 Jan 2020 12:49:08 +0100
Subject: [PATCH] Add new script.

---
 hacks/metadata_from_problem | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100755 hacks/metadata_from_problem

diff --git a/hacks/metadata_from_problem b/hacks/metadata_from_problem
new file mode 100755
index 000000000..a739d5fdd
--- /dev/null
+++ b/hacks/metadata_from_problem
@@ -0,0 +1,14 @@
+#!/usr/bin/python3
+
+import sys
+
+on = False
+for line in sys.stdin:
+    line = line.strip()
+    if line == '<?xml version="1.0" encoding="UTF-8"?>' or on:
+        print(line)
+        on = True
+    if line == '</Metadata>':
+        on = False
+
+
-- 
2.30.2