)]}'
{
  "commit": "0ac5ffb57db6346dbe9b1280b25d24a4e41fe61e",
  "tree": "ac95fe9148c17d5499744efc4daeadcb67a8ff15",
  "parents": [
    "f7e04882e8f7fdc91230f34e82fb36a6409a323c"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Aug 06 19:16:01 2021 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Aug 06 19:16:01 2021 +0200"
  },
  "message": "feat: Std.Control.Loop\n",
  "tree_diff": [
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "15ea1d7e93e427e8778ca6e1cc7ff8a79443ebfa",
      "new_mode": 33188,
      "new_path": "src/Std/Control/Loop.lean"
    }
  ]
}