)]}'
{
  "commit": "f22c17e94b452db3dde3bee8029a459d9220f99a",
  "tree": "675fcaf1bb2c2c557167f7b295cb1494622b19db",
  "parents": [
    "8cb387e59959e8fd150973b131fb24464e939e2e"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Sep 19 18:11:44 2019 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Sep 19 18:12:51 2019 +0200"
  },
  "message": "chore(library/init/data/string/basic): remove broken `lineColumn` obsoleted by `FileMap`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "287bce06ef34ed0f9ea77855bc0115da9c631e80",
      "old_mode": 33188,
      "old_path": "library/init/data/string/basic.lean",
      "new_id": "358321006e70e94853a12f3bba9552cab2fccfd8",
      "new_mode": 33188,
      "new_path": "library/init/data/string/basic.lean"
    },
    {
      "type": "modify",
      "old_id": "1b69c503d367496e8973e64b007750107625bf13",
      "old_mode": 33188,
      "old_path": "tests/lean/string_imp.lean",
      "new_id": "2d840ef5583dc6e0d75656403d7c7d5438c1db85",
      "new_mode": 33188,
      "new_path": "tests/lean/string_imp.lean"
    },
    {
      "type": "modify",
      "old_id": "bf4bf5bcf27d5bd9244de3b637dbf8a3d426b178",
      "old_mode": 33188,
      "old_path": "tests/lean/string_imp.lean.expected.out",
      "new_id": "53ed150410e6d8dfdf462b59c9316503c2b7c647",
      "new_mode": 33188,
      "new_path": "tests/lean/string_imp.lean.expected.out"
    }
  ]
}