{"payload":{"branches":{"default":{"name":"master","isDefault":true,"mergeQueueEnabled":false,"path":"/dafny-lang/dafny","rulesetsPath":null,"protectedByBranchProtections":true,"author":{"login":"alex-chew","name":"alex-chew","avatarUrl":"https://avatars.githubusercontent.com/u/5844231?s=32&v=4","path":"/alex-chew"},"authoredDate":"2024-05-18T00:53:26.000+00:00","deleteable":false,"deleteProtected":true,"isBeingRenamed":false,"renameable":false},"yours":[],"active":[{"name":"iterator-exp","isDefault":false,"mergeQueueEnabled":false,"path":"/dafny-lang/dafny/tree/iterator-exp","rulesetsPath":null,"protectedByBranchProtections":false,"author":{"login":"ssomayyajula","name":"ssomayyajula","avatarUrl":"https://avatars.githubusercontent.com/u/14946194?s=32&v=4","path":"/ssomayyajula"},"authoredDate":"2024-05-17T23:01:44.000+00:00","deleteable":true,"deleteProtected":false,"isBeingRenamed":false,"renameable":false},{"name":"fix-5331-internal-error-system-nullreferenceexception","isDefault":false,"mergeQueueEnabled":false,"path":"/dafny-lang/dafny/tree/fix-5331-internal-error-system-nullreferenceexception","rulesetsPath":null,"protectedByBranchProtections":false,"author":{"login":"MikaelMayer","name":"MikaelMayer","avatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=32&v=4","path":"/MikaelMayer"},"authoredDate":"2024-05-17T18:25:18.000+00:00","deleteable":true,"deleteProtected":false,"isBeingRenamed":false,"renameable":false},{"name":"feat-rust","isDefault":false,"mergeQueueEnabled":false,"path":"/dafny-lang/dafny/tree/feat-rust","rulesetsPath":null,"protectedByBranchProtections":false,"author":{"login":"MikaelMayer","name":"MikaelMayer","avatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=32&v=4","path":"/MikaelMayer"},"authoredDate":"2024-05-16T17:31:41.000+00:00","deleteable":true,"deleteProtected":false,"isBeingRenamed":false,"renameable":false},{"name":"fix-dafny-issue-script","isDefault":false,"mergeQueueEnabled":false,"path":"/dafny-lang/dafny/tree/fix-dafny-issue-script","rulesetsPath":null,"protectedByBranchProtections":false,"author":{"login":"MikaelMayer","name":"MikaelMayer","avatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=32&v=4","path":"/MikaelMayer"},"authoredDate":"2024-05-14T15:55:51.000+00:00","deleteable":true,"deleteProtected":false,"isBeingRenamed":false,"renameable":false},{"name":"chore-rust-operators-followup","isDefault":false,"mergeQueueEnabled":false,"path":"/dafny-lang/dafny/tree/chore-rust-operators-followup","rulesetsPath":null,"protectedByBranchProtections":false,"author":{"login":"MikaelMayer","name":"MikaelMayer","avatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=32&v=4","path":"/MikaelMayer"},"authoredDate":"2024-05-13T21:56:49.000+00:00","deleteable":true,"deleteProtected":false,"isBeingRenamed":false,"renameable":false}]},"hasMore":{"yours":false,"active":true},"protectThisBranchBanner":{"dismissed":true,"isSecurityAdvisory":false}},"title":"Branches · dafny-lang/dafny"}