)]}'
{
  "commit": "d0ccdfc5b5b1f800956535f9663333234a4ad250",
  "tree": "6eea4c7db7282e5fd862f233803d0822c3b854b8",
  "parents": [
    "84833637334d2d71155e969afb68660cac94e05e"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Feb 01 16:12:32 2019 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Sat Feb 02 18:44:11 2019 +0100"
  },
  "message": "chore(library/init/lean/elaborator): temporarily disable old elaborator until we get the object layout for `name.mk_numeral` right\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "f7c5aa372e4e6ee8251c70e5663b3aa994008c3c",
      "old_mode": 33188,
      "old_path": "library/init/lean/elaborator.lean",
      "new_id": "085d293596542e1f266a2a08deedd86db8ef91c5",
      "new_mode": 33188,
      "new_path": "library/init/lean/elaborator.lean"
    }
  ]
}