)]}'
{
  "commit": "08fffee041756d8209f0aedc9acbd5bd3aeaf114",
  "tree": "7f087d64a725707fc5dab8ff9d6102b8e3a04b32",
  "parents": [
    "a9e22a511967e7ada06c91f851f274f58ee412f1"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Jul 28 13:32:52 2022 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Jul 28 13:42:06 2022 +0200"
  },
  "message": "feat: accept keywords as constructor names\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "7acf7ec05a440e36d02caa17fc30935191bd4f30",
      "old_mode": 33188,
      "old_path": "RELEASES.md",
      "new_id": "789b24cd13f248ecf4c80055d53fe224da91860a",
      "new_mode": 33188,
      "new_path": "RELEASES.md"
    },
    {
      "type": "modify",
      "old_id": "ab200507360ccab7cd9f45ce7ebc3c530f8fab04",
      "old_mode": 33188,
      "old_path": "src/Lean/Parser/Command.lean",
      "new_id": "85a63109036f903d039231318aa8f8faa476021c",
      "new_mode": 33188,
      "new_path": "src/Lean/Parser/Command.lean"
    },
    {
      "type": "modify",
      "old_id": "c0e4d0b18e603b4bbc11cf69b51f76f5795e7df0",
      "old_mode": 33188,
      "old_path": "tests/lean/run/constProp.lean",
      "new_id": "06181a8ccafdede7a9562d1acdff2118816f910d",
      "new_mode": 33188,
      "new_path": "tests/lean/run/constProp.lean"
    }
  ]
}