)]}'
{
  "commit": "448dfd2f27c3470251e11b84d76cebb0ad4add92",
  "tree": "d4fc5c3a42abde83c6616ec9e12f6a63adedf9f9",
  "parents": [
    "488bfe2128a1c5ff0e96c45cf6a382655dc7c703"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri Feb 09 10:17:15 2024 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri Feb 09 10:18:17 2024 -0800"
  },
  "message": "chore: add `nomatch` tactic\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "0103f0c8baa5909bc74e6d1611b6d6f7e72b5030",
      "old_mode": 33188,
      "old_path": "src/Init/Tactics.lean",
      "new_id": "98755ee815dbc11a72b4f427f8b445622536d959",
      "new_mode": 33188,
      "new_path": "src/Init/Tactics.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "59bd9f6dce8603933817faf6080e3dd12aae2f69",
      "new_mode": 33188,
      "new_path": "tests/lean/run/nomatch_tac.lean"
    }
  ]
}