{"payload":{"branches":{"default":{"name":"master","isDefault":true,"mergeQueueEnabled":false,"path":"/leanprover-community/mathlib4","rulesetsPath":null,"protectedByBranchProtections":true,"author":{"login":"mathlib-bors[bot]","name":"mathlib-bors","avatarUrl":"https://avatars.githubusercontent.com/in/421226?s=32&v=4","path":"/apps/mathlib-bors"},"authoredDate":"2024-08-07T08:06:26.000+00:00","deleteable":false,"deleteProtected":true,"isBeingRenamed":false,"renameable":false},"yours":[],"active":[{"name":"FR_test_quotient_mkabbrev","isDefault":false,"mergeQueueEnabled":false,"path":"/leanprover-community/mathlib4/tree/FR_test_quotient_mkabbrev","rulesetsPath":null,"protectedByBranchProtections":false,"author":{"login":"FR-vdash-bot","name":"FR-vdash-bot","avatarUrl":"https://avatars.githubusercontent.com/u/19634778?s=32&v=4","path":"/FR-vdash-bot"},"authoredDate":"2024-08-07T08:38:48.000+00:00","deleteable":true,"deleteProtected":false,"isBeingRenamed":false,"renameable":false},{"name":"cfg-lifting","isDefault":false,"mergeQueueEnabled":false,"path":"/leanprover-community/mathlib4/tree/cfg-lifting","rulesetsPath":null,"protectedByBranchProtections":false,"author":{"login":"madvorak","name":"madvorak","avatarUrl":"https://avatars.githubusercontent.com/u/6643116?s=32&v=4","path":"/madvorak"},"authoredDate":"2024-08-07T08:34:25.000+00:00","deleteable":true,"deleteProtected":false,"isBeingRenamed":false,"renameable":false},{"name":"henkkuli-simplegraph-walk-lemmas","isDefault":false,"mergeQueueEnabled":false,"path":"/leanprover-community/mathlib4/tree/henkkuli-simplegraph-walk-lemmas","rulesetsPath":null,"protectedByBranchProtections":false,"author":{"login":"henkkuli","name":"henkkuli","avatarUrl":"https://avatars.githubusercontent.com/u/5155857?s=32&v=4","path":"/henkkuli"},"authoredDate":"2024-08-07T08:33:57.000+00:00","deleteable":true,"deleteProtected":false,"isBeingRenamed":false,"renameable":false},{"name":"adomani/print_all_import_changes_dev","isDefault":false,"mergeQueueEnabled":false,"path":"/leanprover-community/mathlib4/tree/adomani/print_all_import_changes_dev","rulesetsPath":null,"protectedByBranchProtections":false,"author":{"login":"adomani","name":"adomani","avatarUrl":"https://avatars.githubusercontent.com/u/29467745?s=32&v=4","path":"/adomani"},"authoredDate":"2024-08-07T08:16:56.000+00:00","deleteable":true,"deleteProtected":false,"isBeingRenamed":false,"renameable":false},{"name":"HM-linear-combination-elab","isDefault":false,"mergeQueueEnabled":false,"path":"/leanprover-community/mathlib4/tree/HM-linear-combination-elab","rulesetsPath":null,"protectedByBranchProtections":false,"author":{"login":"hrmacbeth","name":"hrmacbeth","avatarUrl":"https://avatars.githubusercontent.com/u/25316162?s=32&v=4","path":"/hrmacbeth"},"authoredDate":"2024-08-07T08:14:34.000+00:00","deleteable":true,"deleteProtected":false,"isBeingRenamed":false,"renameable":false}]},"hasMore":{"yours":false,"active":true},"protectThisBranchBanner":{"dismissed":true,"isSecurityAdvisory":false}},"title":"Branches · leanprover-community/mathlib4"}