{"payload":{"branches":{"default":{"name":"master","isDefault":true,"mergeQueueEnabled":false,"path":"/leanprover-community/mathematics_in_lean","rulesetsPath":null,"protectedByBranchProtections":false,"author":{"login":"PatrickMassot","name":"PatrickMassot","avatarUrl":"https://avatars.githubusercontent.com/u/14060883?s=32&v=4","path":"/PatrickMassot"},"authoredDate":"2024-05-24T14:19:02.000+00:00","deleteable":false,"deleteProtected":false,"isBeingRenamed":false,"renameable":false},"yours":[],"active":[{"name":"gh-pages","isDefault":false,"mergeQueueEnabled":false,"path":"/leanprover-community/mathematics_in_lean/tree/gh-pages","rulesetsPath":null,"protectedByBranchProtections":false,"author":{"login":"PatrickMassot","name":"PatrickMassot","avatarUrl":"https://avatars.githubusercontent.com/u/14060883?s=32&v=4","path":"/PatrickMassot"},"authoredDate":"2024-05-24T14:19:03.000+00:00","deleteable":true,"deleteProtected":false,"isBeingRenamed":false,"renameable":false}]},"hasMore":{"yours":false,"active":false},"protectThisBranchBanner":{"dismissed":true,"isSecurityAdvisory":false}},"title":"Branches · leanprover-community/mathematics_in_lean"}