)]}'
{
  "id": "c8758248cc300fa53fd177bf375fafcbcf65c548",
  "repo": "third_party/github.com/leanprover/lean4",
  "revision": "refs/heads/upstream/fix-pr-release-github-app",
  "path": "CMakePresets.json"
}