)]}'
{
  "commit": "bf2c89c2f2991b0a235da7fee206dc87ff8de811",
  "tree": "a2c4bddf2a8950f6855690695e41c18069e278f3",
  "parents": [
    "e57bd13a6e4002396c613f866a3fb424e157645a"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Oct 19 15:17:34 2022 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Oct 28 19:24:17 2022 +0200"
  },
  "message": "fix: use `patternIgnore` to ignore now-relevant tokens again\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "73b3ad6789df8a77018a0d82e5b5d7e3fa10ef97",
      "old_mode": 33188,
      "old_path": "src/Init/Conv.lean",
      "new_id": "06ebd64ed3bd858e26e8bc617881dee3720f6566",
      "new_mode": 33188,
      "new_path": "src/Init/Conv.lean"
    },
    {
      "type": "modify",
      "old_id": "01e15b1ec10e84bc249fbdfe76367729b9c5da68",
      "old_mode": 33188,
      "old_path": "src/Init/NotationExtra.lean",
      "new_id": "5cf84a9d59c799dcaf6f5840c95d27665698de69",
      "new_mode": 33188,
      "new_path": "src/Init/NotationExtra.lean"
    },
    {
      "type": "modify",
      "old_id": "70966a3eff921fddd6349bd59da2e7c746f8d6dd",
      "old_mode": 33188,
      "old_path": "src/Init/Tactics.lean",
      "new_id": "ac8e1d4c9c006432884e594fcfb54274d0f0be58",
      "new_mode": 33188,
      "new_path": "src/Init/Tactics.lean"
    }
  ]
}