{"payload":{"branches":{"default":{"name":"master","isDefault":true,"mergeQueueEnabled":false,"path":"/FormalMathematicsLab/UniRome_Workshop_Lean_2024","rulesetsPath":null,"protectedByBranchProtections":false,"author":null,"authoredDate":"2024-01-26T23:23:16.000+01:00","deleteable":false,"deleteProtected":false,"isBeingRenamed":false,"renameable":false},"yours":[],"active":[]},"hasMore":{"yours":false,"active":false},"protectThisBranchBanner":{"dismissed":true,"isSecurityAdvisory":false}},"title":"Branches · FormalMathematicsLab/UniRome_Workshop_Lean_2024"}