in gh-data.py [0:0]
def write_json(filename, data): with open(filename, "w") as f: json.dump(data, f, indent=2, separators=(",", ": ")) f.write("\n")