)]}'
{
  "commit": "9af3bc52a9d54cdca8f73b0bbe1fac68e74769c1",
  "tree": "9bbaf79403084a1d7b221ab30fe5b83cd80a55ec",
  "parents": [
    "cb0ff5ee8a7f29d9fa574bcfa9e63fa84556afbb"
  ],
  "author": {
    "name": "Joe Hendrix",
    "email": "joe@lean-fro.org",
    "time": "Thu Mar 21 21:47:07 2024 -0400"
  },
  "committer": {
    "name": "Joe Hendrix",
    "email": "joe@lean-fro.org",
    "time": "Fri Mar 22 18:23:43 2024 -0400"
  },
  "message": "backtrack from attempted refactor\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "2a5eebff1e3cbca29f3720ab872f3281ad9ba035",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Rewrites.lean",
      "new_id": "c4832351997d7b30601fa50eaa38813930acb744",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Rewrites.lean"
    }
  ]
}