)]}'
{
  "commit": "9a84880b2b99f953a75ecb2baeaab2175f7766af",
  "tree": "3b6cac341da038ebe16b1c76d8dd6ad3ec95b675",
  "parents": [
    "81f5b07215b077f9b5be677f8689617512d3322c"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Jun 04 16:50:28 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Jun 04 16:50:28 2024 -0700"
  },
  "message": "chore: apply naming convention to `IsLawfulSingleton`\n\ncloses #4324\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "144224ac5401599d359f8c0a5285a03e24cc9f90",
      "old_mode": 33188,
      "old_path": "src/Init/Core.lean",
      "new_id": "60730494cf912b17315f06d26eccacb927186d55",
      "new_mode": 33188,
      "new_path": "src/Init/Core.lean"
    }
  ]
}