1 files changed, 0 insertions, 42 deletions
diff --git a/tools/github-sync/read-json.py b/tools/github-sync/read-json.py
deleted file mode 100755
index 87264d7df4..0000000000
--- a/tools/github-sync/read-json.py
+++ /dev/null
@@ -1,42 +0,0 @@
-#!/usr/bin/env python3
-
-# This Source Code Form is subject to the terms of the Mozilla Public
-# License, v. 2.0. If a copy of the MPL was not distributed with this
-# file, You can obtain one at http://mozilla.org/MPL/2.0/.
-
-import json
-import sys
-
-j = json.load(sys.stdin)
-components = sys.argv[1].split("/")
-
-
-def next_match(json_fragment, components):
-    if len(components) == 0:
-        yield json_fragment
-    else:
-        component = components[0]
-        if type(json_fragment) == list:
-            if component == "*":
-                for item in json_fragment:
-                    yield from next_match(item, components[1:])
-            else:
-                component = int(component)
-                if component >= len(j):
-                    sys.exit(1)
-                yield from next_match(json_fragment[component], components[1:])
-        elif type(json_fragment) == dict:
-            if component == "*":
-                for key in sorted(json_fragment.keys()):
-                    yield from next_match(json_fragment[key], components[1:])
-            elif component not in json_fragment:
-                sys.exit(1)
-            else:
-                yield from next_match(json_fragment[component], components[1:])
-
-
-for match in list(next_match(j, components)):
-    if type(match) == dict:
-        print(" ".join(match.keys()))
-    else:
-        print(match)