{"payload":{"branches":{"default":{"name":"master","isDefault":true,"mergeQueueEnabled":false,"path":"/runtimeverification/k","rulesetsPath":null,"protectedByBranchProtections":true,"author":{"login":"rv-jenkins","name":"rv-jenkins","avatarUrl":"https://avatars.githubusercontent.com/u/7210875?s=32&v=4","path":"/rv-jenkins"},"authoredDate":"2024-09-09T21:25:31.000+00:00","deleteable":false,"deleteProtected":true,"isBeingRenamed":false,"renameable":false},"yours":[],"active":[{"name":"gh-pages","isDefault":false,"mergeQueueEnabled":false,"path":"/runtimeverification/k/tree/gh-pages","rulesetsPath":null,"protectedByBranchProtections":false,"author":{"login":"rv-jenkins","name":"rv-jenkins","avatarUrl":"https://avatars.githubusercontent.com/u/7210875?s=32&v=4","path":"/rv-jenkins"},"authoredDate":"2024-09-09T22:17:57.000+00:00","deleteable":true,"deleteProtected":false,"isBeingRenamed":false,"renameable":false},{"name":"develop","isDefault":false,"mergeQueueEnabled":false,"path":"/runtimeverification/k/tree/develop","rulesetsPath":null,"protectedByBranchProtections":true,"author":{"login":"rv-jenkins","name":"rv-jenkins","avatarUrl":"https://avatars.githubusercontent.com/u/7210875?s=32&v=4","path":"/rv-jenkins"},"authoredDate":"2024-09-09T21:25:10.000+00:00","deleteable":false,"deleteProtected":true,"isBeingRenamed":false,"renameable":false},{"name":"_update-deps/runtimeverification/haskell-backend","isDefault":false,"mergeQueueEnabled":false,"path":"/runtimeverification/k/tree/_update-deps/runtimeverification/haskell-backend","rulesetsPath":null,"protectedByBranchProtections":false,"author":{"login":"rv-jenkins","name":"rv-jenkins","avatarUrl":"https://avatars.githubusercontent.com/u/7210875?s=32&v=4","path":"/rv-jenkins"},"authoredDate":"2024-09-09T21:00:11.000+00:00","deleteable":true,"deleteProtected":false,"isBeingRenamed":false,"renameable":false},{"name":"list-set","isDefault":false,"mergeQueueEnabled":false,"path":"/runtimeverification/k/tree/list-set","rulesetsPath":null,"protectedByBranchProtections":false,"author":{"login":"dwightguth","name":"dwightguth","avatarUrl":"https://avatars.githubusercontent.com/u/5104541?s=32&v=4","path":"/dwightguth"},"authoredDate":"2024-09-09T19:57:51.000+00:00","deleteable":true,"deleteProtected":false,"isBeingRenamed":false,"renameable":false},{"name":"_update-deps/runtimeverification/llvm-backend","isDefault":false,"mergeQueueEnabled":false,"path":"/runtimeverification/k/tree/_update-deps/runtimeverification/llvm-backend","rulesetsPath":null,"protectedByBranchProtections":false,"author":{"login":"rv-jenkins","name":"rv-jenkins","avatarUrl":"https://avatars.githubusercontent.com/u/7210875?s=32&v=4","path":"/rv-jenkins"},"authoredDate":"2024-09-09T17:05:12.000+00:00","deleteable":true,"deleteProtected":false,"isBeingRenamed":false,"renameable":false}]},"hasMore":{"yours":false,"active":true},"protectThisBranchBanner":{"dismissed":true,"isSecurityAdvisory":false}},"title":"Branches · runtimeverification/k"}