{"payload":{"branches":{"default":{"name":"master","isDefault":true,"mergeQueueEnabled":false,"path":"/FormalMathematicsLab/lean4-logic","rulesetsPath":null,"protectedByBranchProtections":false,"author":{"login":"pitmonticone","name":"pitmonticone","avatarUrl":"https://avatars.githubusercontent.com/u/38562595?s=32&v=4","path":"/pitmonticone"},"authoredDate":"2024-04-16T23:39:17.000+00:00","deleteable":false,"deleteProtected":false,"isBeingRenamed":false,"renameable":false},"yours":[],"active":[]},"hasMore":{"yours":false,"active":false},"protectThisBranchBanner":{"dismissed":true,"isSecurityAdvisory":false}},"title":"Branches · FormalMathematicsLab/lean4-logic"}