)]}'
{
  "id": "b0dceddd8166def9636f56a25c9290a2c48535e7",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "e309fb6bfa09c0994bae86d6fee585a14876e7cf",
      "name": "AnalyzeGrindAnnotations.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7ef01f106ddbedff6dc28c0b426085c34ec4d292",
      "name": "apply.lean"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "459d9d05a1d93721a385fb6308fbca99b9ba3499",
      "name": "bench.sh"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "dbbe0bcadfa5ccb470f3033f9a307598bcfd8e45",
      "name": "benchReelabRss.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": "b8cb1e15b6468b78e6da69723143f1cb6095a3cb",
      "name": "mathlib-bench"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "b6cea10787f5b1bda5f1d48177cdcba3031f68c9",
      "name": "merge_remote.py"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "81a78acd2a22a263c5b96d16292d2388aff887d9",
      "name": "patch.sh"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "463f2eddc2041e304164a1dfe988644ce68afe53",
      "name": "prepare-llvm-linux.sh"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "715ba4e2f72ad0de3f9f47f1ad7c100570cf34be",
      "name": "prepare-llvm-macos.sh"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f07487332e9434f0c62ed73029317cc4a53eea79",
      "name": "prepare-llvm-mingw.sh"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "3e62d59bb1cc7f1cc936249dc52c84b821bc5748",
      "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": "25b6c5a968d47351c13d58e4714ae2435211a9aa",
      "name": "release_checklist.py"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "84d93d1cddd5f326d8403e17d7d5334dce39ace8",
      "name": "release_notes.py"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "33951ff6c81d30c58a8cf16c3e01d945487005f7",
      "name": "release_repos.yml"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "78b9446a4a062eb432988ace6def002cdcd71e3f",
      "name": "release_steps.py"
    }
  ]
}