)]}'
{
  "commit": "e211d4ee883ff0c7031a9596512d24bd5e1a548f",
  "tree": "b46cb171240fc1b039cc85c1981198421d09a0d4",
  "parents": [
    "6db03005617b98d86892ac72d4086dcd45fa2461"
  ],
  "author": {
    "name": "Gabriel Ebner",
    "email": "gebner@gebner.org",
    "time": "Wed Mar 08 14:03:30 2023 -0800"
  },
  "committer": {
    "name": "Gabriel Ebner",
    "email": "gebner@gebner.org",
    "time": "Wed Mar 08 14:03:30 2023 -0800"
  },
  "message": "fix: do not reverse subgoals of local instances\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "b118e83eacb20c21ae0518d5fec97aa540be6e53",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/SynthInstance.lean",
      "new_id": "f25300cf98c918cf3d79f2f4d1bddc4a85fa5573",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/SynthInstance.lean"
    }
  ]
}