)]}'
{
  "commit": "486ecdc169f73d2d3c12d4e335fd4ded1e352897",
  "tree": "e5fa069239ee41f1482aea6df3f1912885c702c8",
  "parents": [
    "8454102fc4b0b709ecf068a9d6db8e2b3f2a737c"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Jun 22 17:06:55 2021 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Jun 22 17:14:07 2021 +0200"
  },
  "message": "fix: info on non-atomic simp args\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "fa520111d4477af68ec93146dc4fe4b4979f6c0e",
      "old_mode": 33188,
      "old_path": "src/Lean/Data/Position.lean",
      "new_id": "74f7fc5356ba9a251bff7e7d8231bb963788c107",
      "new_mode": 33188,
      "new_path": "src/Lean/Data/Position.lean"
    },
    {
      "type": "modify",
      "old_id": "3a070a20bedc3b003ecdfb43f877cd1cc17c8efc",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Command.lean",
      "new_id": "0408110236d60f7783cd6774ede54cd8753b62da",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Command.lean"
    },
    {
      "type": "modify",
      "old_id": "a05af807a787bc2140bc910f24126ad8dc8a4eda",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/InfoTree.lean",
      "new_id": "88bbc6ba644e3ff42e7f6e2f69736b0d296cf76f",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/InfoTree.lean"
    },
    {
      "type": "modify",
      "old_id": "a328ede568cd735b52e83621607c03efc2055e5d",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Log.lean",
      "new_id": "14ff6f717601c4250c0669b986e46704b35a12f9",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Log.lean"
    },
    {
      "type": "modify",
      "old_id": "e416fc920bb1291047976a5088c83e74934cac3f",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/Simp.lean",
      "new_id": "879c1877f8d2fe83342aa47484866336ef1eb9e0",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/Simp.lean"
    },
    {
      "type": "modify",
      "old_id": "0d41b3974a87c0c4d5895cac44600b8d5eb28e75",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Term.lean",
      "new_id": "f73a3103d004285e15302478fb4a16f68653a2b7",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Term.lean"
    },
    {
      "type": "modify",
      "old_id": "f44bbc87a330837988232b9e29876a64b9cdb78e",
      "old_mode": 33188,
      "old_path": "tests/lean/interactive/hover.lean",
      "new_id": "6d2011b89b8ad335fa09337830201706fbaf40cd",
      "new_mode": 33188,
      "new_path": "tests/lean/interactive/hover.lean"
    },
    {
      "type": "modify",
      "old_id": "e2f1f475b1b29f7b665927fd5d6dc4b11d0dc7b5",
      "old_mode": 33188,
      "old_path": "tests/lean/interactive/hover.lean.expected.out",
      "new_id": "d10a53a6511fc7096749a1846c97890ba1706bd5",
      "new_mode": 33188,
      "new_path": "tests/lean/interactive/hover.lean.expected.out"
    }
  ]
}