)]}'
{
  "id": "3074b883b75b5b15f19884b1f4b4588b93440cf9",
  "repo": "third_party/github.com/leanprover/lean4",
  "revision": "refs/heads/upstream/doc-dev-test",
  "path": "CONTRIBUTING.md"
}