)]}'
{
  "commit": "dbffd6a14cf29e20213dbdbdfc40169f5c9146a8",
  "tree": "44f2293bfa733f32b9689803e5983db409167afe",
  "parents": [
    "994cfa4c74a066df050ca889da912e71fa70cd85"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Sep 30 16:32:07 2024 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Sep 30 16:46:28 2024 +1000"
  },
  "message": "chore: adjust DecidableRel instance for leOfOrd\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "1b669bc6cee6ad643ccaaf64cc961f949f924088",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Ord.lean",
      "new_id": "d54f9954fad59e85e41c362f7e2e56a011116d7d",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Ord.lean"
    }
  ]
}