)]}'
{
  "commit": "c3eb181011dc67b46b47e90ab67c71e0cc5cbd9b",
  "tree": "1f2e7612a70cea9605593dcc70a5e1d1b4dbe325",
  "parents": [
    "8504d9ff5c9495b1692ca070fd3288be739a2579"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Sun Nov 10 13:34:14 2019 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Sun Nov 10 13:34:14 2019 +0100"
  },
  "message": "inlining?\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "6b5754dfb89273884e796dbfb3de4fa0d775e286",
      "old_mode": 33188,
      "old_path": "library/Init/Control/Alternative.lean",
      "new_id": "7d6f69f3b0c9889f56f96380f8034a1ce57b815b",
      "new_mode": 33188,
      "new_path": "library/Init/Control/Alternative.lean"
    },
    {
      "type": "modify",
      "old_id": "379d7b2f8c08484be397422086be556c7654e1b7",
      "old_mode": 33188,
      "old_path": "library/Init/Data/ByteArray/Basic.lean",
      "new_id": "1227db5e6f713a3d878a1b51c1822789db0aa361",
      "new_mode": 33188,
      "new_path": "library/Init/Data/ByteArray/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "3bb937edddb02a0748d20f0b10fc39dddfcb6804",
      "old_mode": 33188,
      "old_path": "library/Init/Data/HashSet.lean",
      "new_id": "03656c567471cfcfd4f4721e861e0100dc4e8cbf",
      "new_mode": 33188,
      "new_path": "library/Init/Data/HashSet.lean"
    },
    {
      "type": "modify",
      "old_id": "4e8b9f319e146995762afa4470dbd459d5eb5358",
      "old_mode": 33188,
      "old_path": "library/Init/System/IO.lean",
      "new_id": "2d2f70e1e969294d748d9c72edcb83f04fa2cb01",
      "new_mode": 33188,
      "new_path": "library/Init/System/IO.lean"
    },
    {
      "type": "modify",
      "old_id": "d20d1e5b77be48f447700b9b9fc06b34f02ff969",
      "old_mode": 33188,
      "old_path": "library/Init/Util.lean",
      "new_id": "14215425fa46e432c14a3bebda11d2b2c74e7e0e",
      "new_mode": 33188,
      "new_path": "library/Init/Util.lean"
    },
    {
      "type": "modify",
      "old_id": "b688bf63194495459bc49be9be9f371cad2c8674",
      "old_mode": 33188,
      "old_path": "src/library/compiler/csimp.cpp",
      "new_id": "bd429719f295d30873d27a431737d95ab1ef8bdb",
      "new_mode": 33188,
      "new_path": "src/library/compiler/csimp.cpp"
    },
    {
      "type": "modify",
      "old_id": "515836dfa575aa2a487154f1013661b7fa4a485e",
      "old_mode": 33188,
      "old_path": "src/library/compiler/specialize.cpp",
      "new_id": "ab8f11ee9ef79aea6bde07416ee50bf117971449",
      "new_mode": 33188,
      "new_path": "src/library/compiler/specialize.cpp"
    }
  ]
}