)]}'
{
  "commit": "d420f4643289e799bc3e4c3ff08db2345955f796",
  "tree": "c20b2164651888cb60448f54a01463e99a0e7ffd",
  "parents": [
    "dea99e181443f8416deab0cec08bfc055a81bf23"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed May 20 15:13:24 2020 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed May 20 15:13:24 2020 +0200"
  },
  "message": "fix: \u0027\\r\u0027 escape\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "9ea5742b2b18005de848dc4965c07149c23b7fb2",
      "old_mode": 33188,
      "old_path": "src/Init/Lean/Parser/Parser.lean",
      "new_id": "78723126fa8a7acf2bc5d7f2c9f3b6652772ca12",
      "new_mode": 33188,
      "new_path": "src/Init/Lean/Parser/Parser.lean"
    }
  ]
}
