)]}'
{
  "commit": "5fac9ad012bc1e69d116c0203fe2c2178961783e",
  "tree": "7027c21dfd8b24663a329c90031874f966ea543c",
  "parents": [
    "3b80ec89b7d9e24d6899da78fb80964f810cf241"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri May 10 11:06:39 2019 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri May 10 11:06:39 2019 +0200"
  },
  "message": "feat(frontends/lean/lean_environment): implement Lean environment extensions of the old environment type\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "c0978b8112fc06fe1338da3699f6137f7e79dd65",
      "old_mode": 33188,
      "old_path": "src/frontends/lean/lean_environment.cpp",
      "new_id": "d64d927e6f3eacd5c62828da175c03efa4e31140",
      "new_mode": 33188,
      "new_path": "src/frontends/lean/lean_environment.cpp"
    },
    {
      "type": "modify",
      "old_id": "530011220ab405254f001829ce63ffd7fe08c3ed",
      "old_mode": 33188,
      "old_path": "src/util/object_ref.h",
      "new_id": "76c56b76a18841486b295d9069c91ac27d27cb2e",
      "new_mode": 33188,
      "new_path": "src/util/object_ref.h"
    }
  ]
}