)]}'
{
  "commit": "f20b8e97e0adf70a399c99043eab1e2b98be9bd1",
  "tree": "b357f88d7cbe8906afa6c59a5c81b0b87b407983",
  "parents": [
    "d14d538e5fccdc03a02948963addad10ad45b50d"
  ],
  "author": {
    "name": "Andreas Rossberg",
    "email": "rossberg@mpi-sws.org",
    "time": "Thu Apr 18 06:27:10 2019"
  },
  "committer": {
    "name": "GitHub",
    "email": "noreply@github.com",
    "time": "Thu Apr 18 06:27:10 2019"
  },
  "message": "[spec] Pre/post-conditions and some renamings in embedding interface (#1003)\n\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "9558bf19cc0775ee51cacb2900cb8ab27ef887a7",
      "old_mode": 33188,
      "old_path": "document/core/appendix/embedding.rst",
      "new_id": "afcb5a6e6d9f227bec312e32e0273a6cda2af8c5",
      "new_mode": 33188,
      "new_path": "document/core/appendix/embedding.rst"
    },
    {
      "type": "modify",
      "old_id": "4d02f7af7a4334b2e288b8fa68b7993c30a02edd",
      "old_mode": 33188,
      "old_path": "document/core/appendix/index-rules.rst",
      "new_id": "4d610e09eae5f4a6dde5524ff14b66488c692fdb",
      "new_mode": 33188,
      "new_path": "document/core/appendix/index-rules.rst"
    },
    {
      "type": "modify",
      "old_id": "34d821c6693f0ac3de5f4228eb3026f1b360f565",
      "old_mode": 33188,
      "old_path": "document/core/util/macros.def",
      "new_id": "679b935fdb389f6c47c8555814a62e01b8e49586",
      "new_mode": 33188,
      "new_path": "document/core/util/macros.def"
    },
    {
      "type": "modify",
      "old_id": "39a64c6a4757da3df937b32e2678579cff9cef70",
      "old_mode": 33188,
      "old_path": "document/core/valid/types.rst",
      "new_id": "a7b928313ec2da02a03a88fffb3c9c3f363ec768",
      "new_mode": 33188,
      "new_path": "document/core/valid/types.rst"
    },
    {
      "type": "modify",
      "old_id": "f6b89ed33aa7670b0788f769ef0cfc36b60bbd9d",
      "old_mode": 33188,
      "old_path": "document/js-api/index.bs",
      "new_id": "55bfa36c5819ff5d5094904a748f2b2157345ed3",
      "new_mode": 33188,
      "new_path": "document/js-api/index.bs"
    }
  ]
}