)]}'
{
  "id": "8b523e3bae6f4ebceb963b513098b9273a885177",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "328c59ba0bf9a6474f3c757e11b48ab86826ca9a",
      "name": "apply.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9c4313171c083675690f278247c8d2bc9f7e515f",
      "name": "deploy_nightly.sh"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "201929447f1b30a661fdf52126c96296ceca25ae",
      "name": "diff_changelogs.py"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "b7ddfffdecffa9a303492c8e8c1c39f3e2a49f39",
      "name": "gen_constants_cpp.py"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "73dfd41d2d6e4b0d0a24dda71ac6c8c140dbcaf6",
      "name": "gen_tokens_cpp.py"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "81a78acd2a22a263c5b96d16292d2388aff887d9",
      "name": "patch.sh"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "44b8e2d18e85edd06b71ab4a2debf53a6cdcff3d",
      "name": "setup_nightly.sh"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "9132a031daad5c03f18b1c31408ce05a5b1d357d",
      "name": "update-stage0"
    }
  ]
}