)]}'
{
  "commit": "be7a3b76eb7152ed68782d6ffe4239efd995d4fb",
  "tree": "b194d359b8810d9596540576c88dbbce1d8a788f",
  "parents": [
    "df162210132e3d22e077a4dd3fafa71fc849421f"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Oct 07 15:30:36 2020 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Oct 07 15:30:36 2020 +0200"
  },
  "message": "feat: Format.fill\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "908e5ae7549f46df29de71f57d4a29deca05cb83",
      "old_mode": 33188,
      "old_path": "src/Lean/Data/Format.lean",
      "new_id": "374b80a9c80df801a25b20836c0f08d6490d72ea",
      "new_mode": 33188,
      "new_path": "src/Lean/Data/Format.lean"
    },
    {
      "type": "modify",
      "old_id": "8d88f7e1bc0e3067e1fab8bd2b6818a4e938558f",
      "old_mode": 33188,
      "old_path": "tests/lean/Format.lean",
      "new_id": "629fae9cef9f1b8f69033d37f2d9ce8a3d79bed8",
      "new_mode": 33188,
      "new_path": "tests/lean/Format.lean"
    },
    {
      "type": "modify",
      "old_id": "273dee31dd1a1ccf9b07cd56a72922bf5f0d0259",
      "old_mode": 33188,
      "old_path": "tests/lean/Format.lean.expected.out",
      "new_id": "dc7d1e81742791e92c1978086c3609a015f4caca",
      "new_mode": 33188,
      "new_path": "tests/lean/Format.lean.expected.out"
    }
  ]
}