{"payload":{"branches":{"default":{"name":"master","isDefault":true,"mergeQueueEnabled":false,"path":"/AbsInt/CompCert","rulesetsPath":null,"protectedByBranchProtections":false,"author":{"login":"xavierleroy","name":"xavierleroy","avatarUrl":"https://avatars.githubusercontent.com/u/3845810?s=32&v=4","path":"/xavierleroy"},"authoredDate":"2024-07-26T10:02:20.000+00:00","deleteable":false,"deleteProtected":false,"isBeingRenamed":false,"renameable":false},"yours":[],"active":[{"name":"value-analysis-pointer-comparison","isDefault":false,"mergeQueueEnabled":false,"path":"/AbsInt/CompCert/tree/value-analysis-pointer-comparison","rulesetsPath":null,"protectedByBranchProtections":false,"author":{"login":"xavierleroy","name":"xavierleroy","avatarUrl":"https://avatars.githubusercontent.com/u/3845810?s=32&v=4","path":"/xavierleroy"},"authoredDate":"2024-07-24T07:53:17.000+00:00","deleteable":true,"deleteProtected":false,"isBeingRenamed":false,"renameable":false},{"name":"value-analysis-tweaks","isDefault":false,"mergeQueueEnabled":false,"path":"/AbsInt/CompCert/tree/value-analysis-tweaks","rulesetsPath":null,"protectedByBranchProtections":false,"author":{"login":"xavierleroy","name":"xavierleroy","avatarUrl":"https://avatars.githubusercontent.com/u/3845810?s=32&v=4","path":"/xavierleroy"},"authoredDate":"2024-07-19T14:51:49.000+00:00","deleteable":true,"deleteProtected":false,"isBeingRenamed":false,"renameable":false}]},"hasMore":{"yours":false,"active":false},"protectThisBranchBanner":{"dismissed":true,"isSecurityAdvisory":false}},"title":"Branches · AbsInt/CompCert"}