{"payload":{"branches":{"default":{"name":"master","isDefault":true,"mergeQueueEnabled":false,"path":"/robin-aws/dafny","rulesetsPath":null,"protectedByBranchProtections":false,"author":{"login":"robin-aws","name":"robin-aws","avatarUrl":"https://avatars.githubusercontent.com/u/30840053?s=32&v=4","path":"/robin-aws"},"authoredDate":"2024-05-01T19:43:41.000+00:00","deleteable":false,"deleteProtected":false,"isBeingRenamed":false,"renameable":false},"yours":[],"active":[{"name":"warn-against-deeply-nested-let-exprs","isDefault":false,"mergeQueueEnabled":false,"path":"/robin-aws/dafny/tree/warn-against-deeply-nested-let-exprs","rulesetsPath":null,"protectedByBranchProtections":false,"author":{"login":"robin-aws","name":"robin-aws","avatarUrl":"https://avatars.githubusercontent.com/u/30840053?s=32&v=4","path":"/robin-aws"},"authoredDate":"2024-06-28T22:34:17.000+00:00","deleteable":true,"deleteProtected":false,"isBeingRenamed":false,"renameable":false},{"name":"actions-and-streaming-stdlibs","isDefault":false,"mergeQueueEnabled":false,"path":"/robin-aws/dafny/tree/actions-and-streaming-stdlibs","rulesetsPath":null,"protectedByBranchProtections":false,"author":{"login":"robin-aws","name":"robin-aws","avatarUrl":"https://avatars.githubusercontent.com/u/30840053?s=32&v=4","path":"/robin-aws"},"authoredDate":"2024-06-10T21:55:10.000+00:00","deleteable":true,"deleteProtected":false,"isBeingRenamed":false,"renameable":false},{"name":"align-mostly-on-macos-11","isDefault":false,"mergeQueueEnabled":false,"path":"/robin-aws/dafny/tree/align-mostly-on-macos-11","rulesetsPath":null,"protectedByBranchProtections":false,"author":{"login":"robin-aws","name":"robin-aws","avatarUrl":"https://avatars.githubusercontent.com/u/30840053?s=32&v=4","path":"/robin-aws"},"authoredDate":"2024-06-06T00:30:40.000+00:00","deleteable":true,"deleteProtected":false,"isBeingRenamed":false,"renameable":false},{"name":"migrate-off-macos-11","isDefault":false,"mergeQueueEnabled":false,"path":"/robin-aws/dafny/tree/migrate-off-macos-11","rulesetsPath":null,"protectedByBranchProtections":false,"author":{"login":"robin-aws","name":"robin-aws","avatarUrl":"https://avatars.githubusercontent.com/u/30840053?s=32&v=4","path":"/robin-aws"},"authoredDate":"2024-05-28T20:51:32.000+00:00","deleteable":true,"deleteProtected":false,"isBeingRenamed":false,"renameable":false},{"name":"align-on-macos-12","isDefault":false,"mergeQueueEnabled":false,"path":"/robin-aws/dafny/tree/align-on-macos-12","rulesetsPath":null,"protectedByBranchProtections":false,"author":{"login":"robin-aws","name":"robin-aws","avatarUrl":"https://avatars.githubusercontent.com/u/30840053?s=32&v=4","path":"/robin-aws"},"authoredDate":"2024-05-27T18:52:26.000+00:00","deleteable":true,"deleteProtected":false,"isBeingRenamed":false,"renameable":false}]},"hasMore":{"yours":false,"active":true},"protectThisBranchBanner":{"dismissed":true,"isSecurityAdvisory":false}},"title":"Branches · robin-aws/dafny"}