Add auto-formatting of json file

Given the just added json-file formatter, we can generate a diff
formatting properly all json files, i.e., all target, rules, and
expression files, by applying that formatter to every target file
and combining the patches. A target description doing precisely
this can easily be obtained as computed root. In this way, we also
make good use of caching. To avoid doing recomputing the target
description unnecessarily, we factor through the tree structure of
the repository tree; the latter, we obtain from the to-git view of
the top-level directory, whereas for computing the diff we use the
actual (not necessarily committed) files.

1 files changed, 26 insertions, 0 deletions

diff --git a/etc/repos.in.json b/etc/repos.in.json
index aab0a492..6b98b384 100644
--- a/etc/repos.in.json
+++ b/etc/repos.in.json
@@ -497,6 +497,32 @@
       , "lzma": "lzma"
       }
     }
+  , "repo":
+    {"repository": {"type": "file", "path": ".", "pragma": {"to_git": true}}}
+  , "format-json infra":
+    { "repository":
+      {"type": "file", "path": "format-json", "pragma": {"to_git": true}}
+    }
+  , "repo tree":
+    { "repository": {"type": "tree structure", "repo": "repo"}
+    , "target_file_name": "TARGETS.tasks"
+    , "target_root": "format-json infra"
+    , "bindings": {"format": "format-json infra"}
+    }
+  , "format-json/tasks":
+    { "repository":
+      {"type": "computed", "repo": "repo tree", "target": ["", ""]}
+    }
+  , "format-json/bin":
+    { "repository": {"type": "file", "path": "bin", "pragma": {"to_git": true}}
+    , "target_root": "format-json infra"
+    }
+  , "format-json":
+    { "repository": {"type": "file", "path": "."}
+    , "target_root": "format-json/tasks"
+    , "rule_root": "format-json infra"
+    , "bindings": {"bin": "format-json/bin"}
+    }
   }
 , "imports":
   [ { "source": "git"