)]}'
{
  "id": "5cac84d7d28dcca4fd51d3e9387a77bb80b1511e",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "7ef01f106ddbedff6dc28c0b426085c34ec4d292",
      "name": "apply.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "58a3db6339c7fd37f9a97375bd09e80a11f36d0a",
      "name": "collideProfiles.lean"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "201929447f1b30a661fdf52126c96296ceca25ae",
      "name": "diff_changelogs.py"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "a6b2c6203d874166b01926dd32709ffe84acdbe6",
      "name": "gen_constants_cpp.py"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "16e4117721145146bcdc10305e671175398ada92",
      "name": "gen_tokens_cpp.py"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "47e44b2cdb7449ba8a1232d9134b02dea6ce3239",
      "name": "issues_summary.sh"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "14d0e2b4a92d9397348398216032588d7bd1186c",
      "name": "lib"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "b065a9aa56e27413c493561a023fc981a521f376",
      "name": "mathlib-bench"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "81a78acd2a22a263c5b96d16292d2388aff887d9",
      "name": "patch.sh"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "ac634aee4ec8aa19b0c437d9471fd463a53d6a6f",
      "name": "prepare-llvm-linux.sh"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "715ba4e2f72ad0de3f9f47f1ad7c100570cf34be",
      "name": "prepare-llvm-macos.sh"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4098c7ac1028dfede1de2bdc1c9f2f9c3cb8d2ee",
      "name": "prepare-llvm-mingw.sh"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "454ae3b62ee1df5fc97e53c37b47de65d364f4e1",
      "name": "push_repo_release_tag.py"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "899a39596ce61f677edd5ceb27d0fb32ac2d122b",
      "name": "rebase-stage0.sh"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "635443bfbba6d87cbeb65cf1ed24619c887837cf",
      "name": "reformat.lean"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "f6b6ab9ff9da050d707c74e6affcdcabdefec988",
      "name": "release_checklist.py"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "7711315a592b6fe95ed5c2b259cdf5a4da60cce5",
      "name": "release_notes.py"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e59f05e4492ff65c8476120e196076c1a6902468",
      "name": "release_repos.yml"
    }
  ]
}