Normalise the JSON redirects file before diffing

This ensures that key-ordering changes, which don't affect the
semantics of the file, don't create diff noise.

Author: PeterJCLaw

.github/workflows/publish.yml

@@ -121,6 +121,28 @@ jobs:
           popd
           mv artifact.tar main.tar
 
+      - name: Normalise JSON
+        shell: python
+        run: |
+          import json
+          from pathlib import Path
+
+          ROOTS = [
+              Path('main'),
+              Path('local'),
+          ]
+          FILES = [
+              'redirects.json',
+          ]
+
+          for root in ROOTS:
+              for name in FILES:
+                  p = root / name
+                  p.write_text(json.dumps(
+                      json.loads(p.read_text()),
+                      sort_keys=True,
+                  ))
+
       - name: Diff
         id: diff
         run: |