{"payload":{"branches":{"default":{"name":"master","isDefault":true,"mergeQueueEnabled":false,"path":"/FStarLang/FStar","rulesetsPath":null,"protectedByBranchProtections":true,"author":{"login":"mtzguido","name":"mtzguido","avatarUrl":"https://avatars.githubusercontent.com/u/4195583?s=32&v=4","path":"/mtzguido"},"authoredDate":"2024-09-19T22:49:58.000+00:00","deleteable":false,"deleteProtected":true,"isBeingRenamed":false,"renameable":false},"yours":[],"active":[{"name":"gebner_extract_as","isDefault":false,"mergeQueueEnabled":false,"path":"/FStarLang/FStar/tree/gebner_extract_as","rulesetsPath":null,"protectedByBranchProtections":false,"author":{"login":"gebner","name":"gebner","avatarUrl":"https://avatars.githubusercontent.com/u/313929?s=32&v=4","path":"/gebner"},"authoredDate":"2024-09-17T00:43:42.000+00:00","deleteable":true,"deleteProtected":false,"isBeingRenamed":false,"renameable":false},{"name":"guido_options","isDefault":false,"mergeQueueEnabled":false,"path":"/FStarLang/FStar/tree/guido_options","rulesetsPath":null,"protectedByBranchProtections":false,"author":{"login":"mtzguido","name":"mtzguido","avatarUrl":"https://avatars.githubusercontent.com/u/4195583?s=32&v=4","path":"/mtzguido"},"authoredDate":"2024-09-08T20:04:19.000+00:00","deleteable":true,"deleteProtected":false,"isBeingRenamed":false,"renameable":false},{"name":"guido_nits","isDefault":false,"mergeQueueEnabled":false,"path":"/FStarLang/FStar/tree/guido_nits","rulesetsPath":null,"protectedByBranchProtections":false,"author":{"login":"mtzguido","name":"mtzguido","avatarUrl":"https://avatars.githubusercontent.com/u/4195583?s=32&v=4","path":"/mtzguido"},"authoredDate":"2024-09-07T04:05:20.000+00:00","deleteable":true,"deleteProtected":false,"isBeingRenamed":false,"renameable":false},{"name":"guido_misc","isDefault":false,"mergeQueueEnabled":false,"path":"/FStarLang/FStar/tree/guido_misc","rulesetsPath":null,"protectedByBranchProtections":false,"author":{"login":"mtzguido","name":"mtzguido","avatarUrl":"https://avatars.githubusercontent.com/u/4195583?s=32&v=4","path":"/mtzguido"},"authoredDate":"2024-09-06T15:30:53.000+00:00","deleteable":true,"deleteProtected":false,"isBeingRenamed":false,"renameable":false},{"name":"_guidotest","isDefault":false,"mergeQueueEnabled":false,"path":"/FStarLang/FStar/tree/_guidotest","rulesetsPath":null,"protectedByBranchProtections":false,"author":{"login":"mtzguido","name":"mtzguido","avatarUrl":"https://avatars.githubusercontent.com/u/4195583?s=32&v=4","path":"/mtzguido"},"authoredDate":"2024-09-05T08:54:01.000+00:00","deleteable":true,"deleteProtected":false,"isBeingRenamed":false,"renameable":false}]},"hasMore":{"yours":false,"active":true},"protectThisBranchBanner":{"dismissed":true,"isSecurityAdvisory":false}},"title":"Branches · FStarLang/FStar"}