)]}'
{
  "commit": "37ce6a5b070afdc4d132490c89e4f7757b1d0cac",
  "tree": "d06bfea40c8466ce3c948ac0315e9650bec5ec0e",
  "parents": [
    "88a5d27d6579fafdc53ae12f43f20d352540ddea"
  ],
  "author": {
    "name": "Kyle Miller",
    "email": "kmill31415@gmail.com",
    "time": "Sat Feb 17 09:52:58 2024 -0800"
  },
  "committer": {
    "name": "Kyle Miller",
    "email": "kmill31415@gmail.com",
    "time": "Sat Feb 17 09:55:15 2024 -0800"
  },
  "message": "feat: make loose fvars pretty print as `_fvar.123` instead of `_uniq.123`\n\nLoose fvars are never supposed to be pretty printed, but having them print with \"fvar\" in the name can help with debugging broken tactics and elaborators.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "3ac11fb157d51dbe9a5ddc5c004a04abe9d6e075",
      "old_mode": 33188,
      "old_path": "src/Lean/PrettyPrinter/Delaborator/Builtins.lean",
      "new_id": "90a8433e2d44ce5e67ff39ba3a5197afc628441e",
      "new_mode": 33188,
      "new_path": "src/Lean/PrettyPrinter/Delaborator/Builtins.lean"
    },
    {
      "type": "modify",
      "old_id": "168f78c4a4f9114859e7086d9dd8f63ae82663b8",
      "old_mode": 33188,
      "old_path": "tests/lean/474.lean.expected.out",
      "new_id": "bf8a88bbf79c5288ede61070af112dfc68981e32",
      "new_mode": 33188,
      "new_path": "tests/lean/474.lean.expected.out"
    }
  ]
}