)]}'
{
  "id": "9dfe143af56a1365669b10c3719ca14e38ccd9a6",
  "repo": "third_party/github.com/leanprover/lean4",
  "revision": "refs/heads/upstream/replaceS",
  "path": ".gitattributes"
}