)]}'
{
  "commit": "dd676a23a225d18788f7a66190c61dc070e8de38",
  "tree": "99fb2058069c33dd9ab5fa39b7fb4b3ab0e7bd08",
  "parents": [
    "5069c82581e3e06f6a87d8efb6c33f09e499c4f3"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leonardo@microsoft.com",
    "time": "Sun Jun 06 18:06:23 2021 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leonardo@microsoft.com",
    "time": "Sun Jun 06 18:06:23 2021 -0700"
  },
  "message": "chore: document ugly workaround\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "06b326b48d6026e71cd254bb8220c5d6af106cd4",
      "old_mode": 33188,
      "old_path": "src/Lean/Compiler/IR/EmitC.lean",
      "new_id": "8ba0ff17482bb3116f9674e3d843758ed226551e",
      "new_mode": 33188,
      "new_path": "src/Lean/Compiler/IR/EmitC.lean"
    }
  ]
}