)]}'
{
  "commit": "63a831afb8d00953088e145aec13d815474a7b77",
  "tree": "b1ee0dee4f3ea50d735b151fbb43c8ba9c0cd2fc",
  "parents": [
    "fb57b73e1f07828fa9aad91c2112bf072b3e79f2"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Jan 21 09:32:24 2022 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Jan 21 09:53:07 2022 +0100"
  },
  "message": "chore: move out lean4-mode\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "5b16220af1f7c02eb4ea8a3d6a293a73557498e5",
      "old_mode": 33188,
      "old_path": "doc/setup.md",
      "new_id": "d0e1f9563558014042cb1ee51ae8919bdafe9755",
      "new_mode": 33188,
      "new_path": "doc/setup.md"
    },
    {
      "type": "modify",
      "old_id": "5d9091abea3eb2dac3b5819b8de3c3cf3d87d14f",
      "old_mode": 33188,
      "old_path": "flake.lock",
      "new_id": "44ea8011d3c24b366e58698da8557ce0ab24b929",
      "new_mode": 33188,
      "new_path": "flake.lock"
    },
    {
      "type": "modify",
      "old_id": "2b241f11912ee82d32ab15237baeace5d9f2b2fd",
      "old_mode": 33188,
      "old_path": "flake.nix",
      "new_id": "6bf7584f9bf760ce15520d8f7e6680f815834495",
      "new_mode": 33188,
      "new_path": "flake.nix"
    },
    {
      "type": "delete",
      "old_id": "433da842b5cd39873349942349da6a7e89baea1c",
      "old_mode": 33188,
      "old_path": "lean4-mode/.gitignore",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "8dada3edaf50dbc082c9a125058f25def75e625a",
      "old_mode": 33188,
      "old_path": "lean4-mode/LICENSE",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "0b3bfceaa549fa9f926e25be084da661d2a00170",
      "old_mode": 33188,
      "old_path": "lean4-mode/README.md",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "6e5325aef156bfc6038c0aa0b1b116a4e2bc4a70",
      "old_mode": 33188,
      "old_path": "lean4-mode/lean4-debug.el",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "667c8be210e3297d3514c86266efc77880eae389",
      "old_mode": 33188,
      "old_path": "lean4-mode/lean4-dev.el",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "885641599a46d4aa0becf97e8fff5ba16ccf15ed",
      "old_mode": 33188,
      "old_path": "lean4-mode/lean4-eri.el",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "d0ee7456408cd72b99c628e9384083d2aac85253",
      "old_mode": 33188,
      "old_path": "lean4-mode/lean4-fringe.el",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "a2d34c2bc2a081913aa20f74133bd38b271dc4e9",
      "old_mode": 33188,
      "old_path": "lean4-mode/lean4-info.el",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "49d3118fd6ecef201fef8c62e84ef9302d52bbc0",
      "old_mode": 33188,
      "old_path": "lean4-mode/lean4-input.el",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "664295d6378e18a47d81c1a5351b929c386cc621",
      "old_mode": 33188,
      "old_path": "lean4-mode/lean4-leanpkg.el",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "becdad91c0d9c1c1715f0b226211bb8769edfaf6",
      "old_mode": 33188,
      "old_path": "lean4-mode/lean4-mode.el",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "9de53e5de9440134cb9430a6eadd55e9ad14aa14",
      "old_mode": 33188,
      "old_path": "lean4-mode/lean4-settings.el",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "59380501247868b681adf7c12703343b91fe6a84",
      "old_mode": 33188,
      "old_path": "lean4-mode/lean4-syntax.el",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "10a5ef6a1db06574b8a84f0c2d045c70b5e48c76",
      "old_mode": 33188,
      "old_path": "lean4-mode/lean4-util.el",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "modify",
      "old_id": "2d53def08f46fbee931b7fae713c89a817edf515",
      "old_mode": 33188,
      "old_path": "nix/packages.nix",
      "new_id": "86a7c251cc839629dc0071f7de8da869c8e03b80",
      "new_mode": 33188,
      "new_path": "nix/packages.nix"
    }
  ]
}