)]}'
{
  "commit": "5779e4e58daf29ce99dc044d016c4e89990f4ad8",
  "tree": "25411728a6093bbb66bf2573cf1e98249697aa21",
  "parents": [
    "93ecfc62f3abb674df1452d0bc065fc822f6ce14"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Apr 27 18:24:52 2021 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Apr 27 22:09:18 2021 +0200"
  },
  "message": "fix: disable quotation precheck if `hygiene` is `false`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "12a0b14482585b6292ea856d40a6c7b2b070d6b5",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Quotation.lean",
      "new_id": "0c17d5221b3cf00a169434a8cd5640f7cc3d0511",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Quotation.lean"
    },
    {
      "type": "modify",
      "old_id": "5f13b96d7d33a50677c11cfd214a1e89fc4f8da4",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Quotation/Precheck.lean",
      "new_id": "a43b774b629bef25ffda1ae2486690312d64cfbc",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Quotation/Precheck.lean"
    },
    {
      "type": "modify",
      "old_id": "341bbbd8657d8cf9b6fbada3d15f4c13431ae7a1",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Quotation/Util.lean",
      "new_id": "684a6004e1061b77e74e7325011bdb7594b01f7a",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Quotation/Util.lean"
    }
  ]
}