)]}'
{
  "id": "a5a887ef3ea6777d1add6bf26eb9295b2c5cd34b",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "bf4521d7564e3f8b1828c6c5be36818a73a6695f",
      "name": "Basic.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "1e2109e14e1649fa0a1f0770a86be3bdbbd0c848",
      "name": "new-frontend"
    }
  ]
}