)]}'
{
  "commit": "f8149b1aa2301b029f14ff28b2c08a7f110f2968",
  "tree": "69ff33d126b5a011db36f544abe59fec330993ea",
  "parents": [
    "00b0c6a758607770b8c7737df85f342ffc2ab51b"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leonardo@microsoft.com",
    "time": "Mon Jul 18 11:42:19 2022 -0400"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leonardo@microsoft.com",
    "time": "Mon Jul 18 11:44:02 2022 -0400"
  },
  "message": "feat: add mapsTo syntax\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "29ff0373ceaa4cbaf9e11bf33a64ca645674e623",
      "old_mode": 33188,
      "old_path": "src/Lean/Parser/Term.lean",
      "new_id": "3ed56e023eb083496967e0cbbc7a5aa724ab0d1e",
      "new_mode": 33188,
      "new_path": "src/Lean/Parser/Term.lean"
    }
  ]
}