{"payload":{"branches":{"default":{"name":"master","isDefault":true,"mergeQueueEnabled":false,"path":"/atomb/dafny","rulesetsPath":null,"protectedByBranchProtections":false,"author":{"login":"atomb","name":"atomb","avatarUrl":"https://avatars.githubusercontent.com/u/24929?s=32&v=4","path":"/atomb"},"authoredDate":"2024-03-27T20:09:44.000+00:00","deleteable":false,"deleteProtected":false,"isBeingRenamed":false,"renameable":false},"yours":[],"active":[{"name":"fix-post-release-tests","isDefault":false,"mergeQueueEnabled":false,"path":"/atomb/dafny/tree/fix-post-release-tests","rulesetsPath":null,"protectedByBranchProtections":false,"author":{"login":"keyboardDrummer","name":"keyboardDrummer","avatarUrl":"https://avatars.githubusercontent.com/u/3121201?s=32&v=4","path":"/keyboardDrummer"},"authoredDate":"2024-06-27T10:16:31.000+00:00","deleteable":true,"deleteProtected":false,"isBeingRenamed":false,"renameable":false},{"name":"update-release-process","isDefault":false,"mergeQueueEnabled":false,"path":"/atomb/dafny/tree/update-release-process","rulesetsPath":null,"protectedByBranchProtections":false,"author":{"login":"atomb","name":"atomb","avatarUrl":"https://avatars.githubusercontent.com/u/24929?s=32&v=4","path":"/atomb"},"authoredDate":"2024-06-26T21:39:58.000+00:00","deleteable":true,"deleteProtected":false,"isBeingRenamed":false,"renameable":false},{"name":"po-desc-calc-step","isDefault":false,"mergeQueueEnabled":false,"path":"/atomb/dafny/tree/po-desc-calc-step","rulesetsPath":null,"protectedByBranchProtections":false,"author":{"login":"atomb","name":"atomb","avatarUrl":"https://avatars.githubusercontent.com/u/24929?s=32&v=4","path":"/atomb"},"authoredDate":"2024-06-07T23:47:12.000+00:00","deleteable":true,"deleteProtected":false,"isBeingRenamed":false,"renameable":false},{"name":"bounded-below-expr","isDefault":false,"mergeQueueEnabled":false,"path":"/atomb/dafny/tree/bounded-below-expr","rulesetsPath":null,"protectedByBranchProtections":false,"author":{"login":"atomb","name":"atomb","avatarUrl":"https://avatars.githubusercontent.com/u/24929?s=32&v=4","path":"/atomb"},"authoredDate":"2024-05-30T20:56:47.000+00:00","deleteable":true,"deleteProtected":false,"isBeingRenamed":false,"renameable":false},{"name":"decreasesto","isDefault":false,"mergeQueueEnabled":false,"path":"/atomb/dafny/tree/decreasesto","rulesetsPath":null,"protectedByBranchProtections":false,"author":{"login":"atomb","name":"atomb","avatarUrl":"https://avatars.githubusercontent.com/u/24929?s=32&v=4","path":"/atomb"},"authoredDate":"2024-05-29T23:05:01.000+00:00","deleteable":true,"deleteProtected":false,"isBeingRenamed":false,"renameable":false}]},"hasMore":{"yours":false,"active":false},"protectThisBranchBanner":{"dismissed":true,"isSecurityAdvisory":false}},"title":"Branches · atomb/dafny"}