)]}'
{
  "commit": "a9baef0d0bb2b61e9bf3ec32553d6e9200e90bb2",
  "tree": "3eb95e10a1c9256c1a00eddbf068367d4254a11c",
  "parents": [
    "6ca8389670bd7979172234c3c31b2b394fc69d06"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Jul 06 11:34:07 2021 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Jul 08 17:11:04 2021 +0200"
  },
  "message": "doc: bundle updated `lean4.py` Pygments file and `lstlean.tex`\n",
  "tree_diff": [
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "c5d10f6cca8656e5363ddfe73f1f3c3828511da8",
      "new_mode": 33188,
      "new_path": "doc/latex/lean4.py"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "c91a9d7e1efc291dc61dcd3b052e07c144ddb1f2",
      "new_mode": 33188,
      "new_path": "doc/latex/lstlean.tex"
    },
    {
      "type": "modify",
      "old_id": "21405b9e19f82b2a7f83d027ead0800f0c1b56ed",
      "old_mode": 33188,
      "old_path": "doc/syntax_highlight_in_latex.md",
      "new_id": "ad40459bb120d5424493f1cb163bc708ffbadacb",
      "new_mode": 33188,
      "new_path": "doc/syntax_highlight_in_latex.md"
    }
  ]
}