)]}'
{
  "commit": "7624298c68c5a338e7e42809550ec3f2fd7f9759",
  "tree": "a0ddef978c1d25d668f0de466b9e3c1d084d37de",
  "parents": [
    "3701bee7771dbc6e375bed46c7a6e30822ea0f87"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Jul 24 18:43:28 2024 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Jul 24 18:43:58 2024 +1000"
  },
  "message": "chore: List.filterMapM runs and returns left-to-right\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "c073109abb45c867524d05841f4027713997487d",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Control.lean",
      "new_id": "69cbf26615037f01a18fde36434c129c85dea0f2",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Control.lean"
    },
    {
      "type": "modify",
      "old_id": "37c44aafca32ac22aa0651013ef5b46d4af9902d",
      "old_mode": 33188,
      "old_path": "tests/lean/run/array1.lean",
      "new_id": "844d64d5d55da24cd3e529cd0b8e22a6aedaa3fb",
      "new_mode": 33188,
      "new_path": "tests/lean/run/array1.lean"
    }
  ]
}