)]}'
{
  "commit": "ac050aecddac94fd1998714a763a09f504d775cf",
  "tree": "81553c849af9b1d2b1ef7f57a486666954ed196e",
  "parents": [
    "ff6d1db974e97f86f9ca2ca3703a0ff3746059b9"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Nov 08 14:25:04 2018 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Nov 09 12:36:20 2018 +0100"
  },
  "message": "perf(library/init/lean/parser/parsec): make bool_bind_mk_res [inline]\n\nActually improves compilation time more than runtime\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "cae18e9c82bd793b7801ef96a49c8e0b5d31f6c5",
      "old_mode": 33188,
      "old_path": "library/init/lean/parser/parsec.lean",
      "new_id": "165b12d56d182ae772927d1c90d6aa311c6785b9",
      "new_mode": 33188,
      "new_path": "library/init/lean/parser/parsec.lean"
    }
  ]
}