{"payload":{"branches":{"default":{"name":"main","isDefault":true,"mergeQueueEnabled":false,"path":"/SVF-tools/Teaching-Software-Verification","rulesetsPath":null,"protectedByBranchProtections":false,"author":{"login":"jumormt","name":"jumormt","avatarUrl":"https://avatars.githubusercontent.com/u/44386076?s=32&v=4","path":"/jumormt"},"authoredDate":"2024-05-28T02:54:22.000+00:00","deleteable":false,"deleteProtected":false,"isBeingRenamed":false,"renameable":false},"yours":[],"active":[{"name":"slides","isDefault":false,"mergeQueueEnabled":false,"path":"/SVF-tools/Teaching-Software-Verification/tree/slides","rulesetsPath":null,"protectedByBranchProtections":false,"author":{"login":"guanqin-123","name":"guanqin-123","avatarUrl":"https://avatars.githubusercontent.com/u/65882283?s=32&v=4","path":"/guanqin-123"},"authoredDate":"2024-05-19T12:09:20.000+00:00","deleteable":true,"deleteProtected":false,"isBeingRenamed":false,"renameable":false}]},"hasMore":{"yours":false,"active":false},"protectThisBranchBanner":{"dismissed":true,"isSecurityAdvisory":false}},"title":"Branches · SVF-tools/Teaching-Software-Verification"}