)]}'
{
  "commit": "9b712a8836f7a12a3291d785a8139377e9497b30",
  "tree": "729db9707697354eab556706b7636a0974cced75",
  "parents": [
    "d70d45a18dd64a5a6df3cf2a76ad9ed25ba5b29c"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Sep 30 18:56:33 2020 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Sep 30 18:56:33 2020 +0200"
  },
  "message": "fix: Format.group ignored preceding content on line\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "a2c1835b1bdb5f6a3a7375da833ae0643d7ba01c",
      "old_mode": 33188,
      "old_path": "src/Lean/Data/Format.lean",
      "new_id": "44e8d8a4b7cf79a12a7c6af2d90639abba153015",
      "new_mode": 33188,
      "new_path": "src/Lean/Data/Format.lean"
    },
    {
      "type": "modify",
      "old_id": "05c359b01fba77ad9e7cf1509d07d71eaa5e656c",
      "old_mode": 33188,
      "old_path": "tests/compiler/termparsertest1.lean.expected.out",
      "new_id": "555cd41ba218226eea2adbe220fd226c68c988db",
      "new_mode": 33188,
      "new_path": "tests/compiler/termparsertest1.lean.expected.out"
    },
    {
      "type": "modify",
      "old_id": "b7049ea38dd60a546d2e7ca7fb2f5789ecdb1b23",
      "old_mode": 33188,
      "old_path": "tests/lean/PPRoundtrip.lean.expected.out",
      "new_id": "13d62b750104cec2343bf590def547a75590c128",
      "new_mode": 33188,
      "new_path": "tests/lean/PPRoundtrip.lean.expected.out"
    }
  ]
}