)]}'
{
  "commit": "c23d9b43366491667ee4b3e642cc261bead0ba7b",
  "tree": "38aeb93cada965035370e80c46b14cd12923ebad",
  "parents": [
    "571fc668646ebd78bceee68d1d262a2ca46f98fa"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Nov 03 09:55:01 2021 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Nov 03 12:14:55 2021 +0100"
  },
  "message": "fix: propositions should never be considered enum types\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "372c37a88f5efe2e019e3ad2163ee86ab6842bae",
      "old_mode": 33188,
      "old_path": "src/Lean/MonadEnv.lean",
      "new_id": "1ee4595cb3bfec44c2a666516cbc0f29a2284bb3",
      "new_mode": 33188,
      "new_path": "src/Lean/MonadEnv.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "c3dab686c1f53443945fa1e1c02b4d5a7037ba84",
      "new_mode": 33188,
      "new_path": "tests/lean/run/760.lean"
    }
  ]
}