{"payload":{"branches":{"default":{"name":"master","isDefault":true,"mergeQueueEnabled":false,"path":"/kim-em/mathematics_in_lean_source","rulesetsPath":null,"protectedByBranchProtections":false,"author":null,"authoredDate":"2024-05-22T22:14:55.000+00:00","deleteable":false,"deleteProtected":false,"isBeingRenamed":false,"renameable":false},"yours":[],"active":[{"name":"bump_to_v4.10.0-rc2","isDefault":false,"mergeQueueEnabled":false,"path":"/kim-em/mathematics_in_lean_source/tree/bump_to_v4.10.0-rc2","rulesetsPath":null,"protectedByBranchProtections":false,"author":{"login":"kim-em","name":"kim-em","avatarUrl":"https://avatars.githubusercontent.com/u/477956?s=32&v=4","path":"/kim-em"},"authoredDate":"2024-07-16T20:06:49.000+00:00","deleteable":true,"deleteProtected":false,"isBeingRenamed":false,"renameable":false}]},"hasMore":{"yours":false,"active":false},"protectThisBranchBanner":{"dismissed":true,"isSecurityAdvisory":false}},"title":"Branches · kim-em/mathematics_in_lean_source"}