)]}'
{
  "commit": "9c5c53d7c8c02ca7fbbc78e703b0179b9187aeac",
  "tree": "e6c77db0cd5161f900aef57b66851a7a6f834381",
  "parents": [
    "f71e2001b0416f9b1f9d2a47bb5ca2aa38060ce0"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Nov 10 23:05:45 2020 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Nov 10 23:05:45 2020 +0100"
  },
  "message": "foo\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "8116dfff30020bb723fb02742e8919ca5ea08440",
      "old_mode": 33188,
      "old_path": "src/Init/Data/String/Basic.lean",
      "new_id": "d24cbbecc2f21743860caf8589299dcbf27b6e97",
      "new_mode": 33188,
      "new_path": "src/Init/Data/String/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "10360e7a5d858a51d3bae372d547cca4807e0c73",
      "old_mode": 33188,
      "old_path": "src/Lean/PrettyPrinter/Formatter.lean",
      "new_id": "07df29f2a169808c69fd649170bc02194eacb128",
      "new_mode": 33188,
      "new_path": "src/Lean/PrettyPrinter/Formatter.lean"
    },
    {
      "type": "modify",
      "old_id": "5ab9c4678094679827e27ae6188419a1cb1faed1",
      "old_mode": 33188,
      "old_path": "src/Lean/Syntax.lean",
      "new_id": "1142b100d709ba0e2b09459a9b5f98b355ad5f04",
      "new_mode": 33188,
      "new_path": "src/Lean/Syntax.lean"
    }
  ]
}