)]}'
{
  "commit": "5c0b7cc35d8613444682847c518c65ef29183ff6",
  "tree": "236de9db9b957dce3588d07ec107da1543853871",
  "parents": [
    "1e1f82760293681bfcfd8549ffbf488793843dc3"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Dec 10 12:16:01 2021 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Dec 10 12:33:00 2021 +0100"
  },
  "message": "fix: empty option completion\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "dcf740bdaa6da88ca2db34a1bf00f98f125dc94b",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/SetOption.lean",
      "new_id": "b41cafda7c9170fd575675cd8043f921ab21da20",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/SetOption.lean"
    },
    {
      "type": "modify",
      "old_id": "464ddeaf9497e4a255ce0229487d8c6bb8a30492",
      "old_mode": 33188,
      "old_path": "src/Lean/Server/Completion.lean",
      "new_id": "e198ce804f74dc5c7aa0449ee4ebde06b54fa320",
      "new_mode": 33188,
      "new_path": "src/Lean/Server/Completion.lean"
    },
    {
      "type": "modify",
      "old_id": "9c801cd2331318d46d27a07fd460f953fa8ac8ef",
      "old_mode": 33188,
      "old_path": "tests/lean/infoTree.lean.expected.out",
      "new_id": "e9039f54f42fddc1d639a56e255e39ea66940d11",
      "new_mode": 33188,
      "new_path": "tests/lean/infoTree.lean.expected.out"
    }
  ]
}