)]}'
{
  "commit": "382f9e762d97f3447ca9cbbc0f12042709c857b8",
  "tree": "1d49e125874afe60a1d713fa927ef4a3206324d9",
  "parents": [
    "7ce0471f283feb37c313a09d15a27ea69a7f4eaa"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue May 10 17:14:26 2022 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue May 10 17:15:55 2022 +0200"
  },
  "message": "feat: allow keyword-like projection identifiers\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "1e3b9413a0437a4b332dbb260e7a8edd59b69bd3",
      "old_mode": 33188,
      "old_path": "src/Lean/Parser/Term.lean",
      "new_id": "f78c90276214ce1ea2bb336b2f6449bc0f5fbc89",
      "new_mode": 33188,
      "new_path": "src/Lean/Parser/Term.lean"
    },
    {
      "type": "modify",
      "old_id": "679bb826272472a73abcb740ebd839aa522e3e2f",
      "old_mode": 33188,
      "old_path": "tests/lean/run/constProp.lean",
      "new_id": "69accd904801c092cae59dfe912511478a11fdee",
      "new_mode": 33188,
      "new_path": "tests/lean/run/constProp.lean"
    }
  ]
}