)]}'
{
  "commit": "35cdcad6655a046774a1725d37509cc696b5fc12",
  "tree": "5c3988a42205bdb52187d250e00b35493e4f5c5f",
  "parents": [
    "7c5772af2c72a3640ec1b8cea62e4212adb99248"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sun Apr 28 19:53:14 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sun Apr 28 19:53:14 2024 -0700"
  },
  "message": "test: for flexible reducibility attributes\n",
  "tree_diff": [
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "48d31e40c1fb0e03c00372a76924797ff29a0cb0",
      "new_mode": 33188,
      "new_path": "tests/lean/run/scopedLocalReducibility.lean"
    },
    {
      "type": "modify",
      "old_id": "a931e061e7e49560743b9585947e5ccd52b872e2",
      "old_mode": 33188,
      "old_path": "tests/pkg/builtin_attr/UserAttr/BlaAttr.lean",
      "new_id": "ee603004ac154b8b198d69cb47a5b70598ee88ce",
      "new_mode": 33188,
      "new_path": "tests/pkg/builtin_attr/UserAttr/BlaAttr.lean"
    },
    {
      "type": "modify",
      "old_id": "76870872c46d508ef0e5c0acd53dac931f76e6cf",
      "old_mode": 33188,
      "old_path": "tests/pkg/builtin_attr/UserAttr/Tst.lean",
      "new_id": "0df772ae7d407d32f7c736bc6b92145abaf7046e",
      "new_mode": 33188,
      "new_path": "tests/pkg/builtin_attr/UserAttr/Tst.lean"
    }
  ]
}