Add bors dummy jobs

[rust.git] / util / export.py

diff --git a/util/export.py b/util/export.py
index e8fc4d84ea4f3b878fc88fdf727c7694c9a30f31..5d1bd60acf3d66ff0a6eb8202e16ad052c767a6d 100755 (executable)
--- a/util/export.py
+++ b/util/export.py
@@ -71,7 +71,9 @@ def main():
 
     outfile = sys.argv[1] if len(sys.argv) > 1 else "util/gh-pages/lints.json"
     with open(outfile, "w") as fp:
-        json.dump(list(lints.values()), fp, indent=2)
+        lints = list(lints.values())
+        lints.sort(key=lambda x: x['id'])
+        json.dump(lints, fp, indent=2)
         log.info("wrote JSON for great justice")