)]}'
{
  "commit": "8534409834051c3a0f752efd34d2df13968a4fff",
  "tree": "8b4738a5bb4e7385668387dca5f29e1470a3c018",
  "parents": [
    "4dd182c55440aadf81a38029f6e3c86ea4857079"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Dec 09 16:58:46 2024 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Dec 09 16:58:58 2024 +1100"
  },
  "message": "chore: DecidableRel allows a heterogeneous relation\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "21b48719f914be08861640b823d8ac63702d68a9",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Nat/Dvd.lean",
      "new_id": "5571de440fa72718459af5841605cdd432027e19",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Nat/Dvd.lean"
    },
    {
      "type": "modify",
      "old_id": "0ea46f8ba24640a90fec3d8c2e42c61bfd3055bd",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Option/Basic.lean",
      "new_id": "5bb616d255a6f3b2fa450afcf1fb2bda74a61ce7",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Option/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "216d1762667c385bed6a87432072bb24cc92e301",
      "old_mode": 33188,
      "old_path": "src/Init/Prelude.lean",
      "new_id": "67191231bbf0b7420ff6a593d8762d82c9e26a3d",
      "new_mode": 33188,
      "new_path": "src/Init/Prelude.lean"
    },
    {
      "type": "modify",
      "old_id": "27103a0a3e2d81d357ad613ed174aa4029a256e1",
      "old_mode": 33188,
      "old_path": "src/lake/Lake/Util/Log.lean",
      "new_id": "d349df91d7ffc5215879f53ffbf32442c3cd4262",
      "new_mode": 33188,
      "new_path": "src/lake/Lake/Util/Log.lean"
    }
  ]
}