)]}'
{
  "commit": "e6d00b78afe2022621a9f3c527aabfdf8fe9a736",
  "tree": "6d41cbdfd9584ff739adc31896b2cead56a5b8e3",
  "parents": [
    "da417c864ff446193ebff0ddad9bdd96cf55e06a"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Dec 18 18:03:40 2019 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Dec 18 18:04:20 2019 +0100"
  },
  "message": "refactor: simplify quotations\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "cc8385c7c4fa75c60ef2a96f677d44fa456a8b45",
      "old_mode": 33188,
      "old_path": "src/Init/Lean/Elab/Quotation.lean",
      "new_id": "b275d4d6d15161e635d96c4a744fb5cde0ab0da0",
      "new_mode": 33188,
      "new_path": "src/Init/Lean/Elab/Quotation.lean"
    }
  ]
}