{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":716757653,"defaultBranch":"main","name":"proof-checker-public","ownerLogin":"Pi-Squared-Inc","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-11-09T20:09:44.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/153221483?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1721305951.0","currentOid":""},"activityList":{"items":[{"before":"db2d81d7b9703df946204970bd23b2858b4c0591","after":null,"ref":"refs/heads/master","pushedAt":"2024-07-18T12:32:31.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"0cjs","name":"Curt J. Sampson","path":"/0cjs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2586652?s=80&v=4"}},{"before":null,"after":"ed5b0d56e98d8a8950ed112b73b7103c2dbc8d21","ref":"refs/heads/v2024-Q1","pushedAt":"2024-07-18T12:12:20.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"0cjs","name":"Curt J. Sampson","path":"/0cjs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2586652?s=80&v=4"},"commit":{"message":"README,Performance: Warn this branch's code is out of date","shortMessageHtmlLink":"README,Performance: Warn this branch's code is out of date"}},{"before":"f76eb2d1a3935d8d1e660ff5d971c981fe2ed9af","after":"8b818cf96a26d5525c4b2c2f58bda57312dd1fc6","ref":"refs/heads/main","pushedAt":"2024-07-18T12:11:39.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"0cjs","name":"Curt J. Sampson","path":"/0cjs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2586652?s=80&v=4"},"commit":{"message":"README: New main branch; separate from legacy code\n\nThe previous `master` branch has been renamed to `v2024-Q1` and\nnoted as deprecated.","shortMessageHtmlLink":"README: New main branch; separate from legacy code"}},{"before":"810256b92a82d3a6eeaf9798c18bbea73fe6a66e","after":"ed5b0d56e98d8a8950ed112b73b7103c2dbc8d21","ref":"refs/heads/dev/cjs/24g17/master-readme","pushedAt":"2024-07-18T12:07:35.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"0cjs","name":"Curt J. Sampson","path":"/0cjs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2586652?s=80&v=4"},"commit":{"message":"README,Performance: Warn this branch's code is out of date","shortMessageHtmlLink":"README,Performance: Warn this branch's code is out of date"}},{"before":"19f4fe2b6204930a539533b9c068739f53f0ed50","after":"db2d81d7b9703df946204970bd23b2858b4c0591","ref":"refs/heads/master","pushedAt":"2024-07-17T13:55:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"0cjs","name":"Curt J. Sampson","path":"/0cjs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2586652?s=80&v=4"},"commit":{"message":"README: fix typos","shortMessageHtmlLink":"README: fix typos"}},{"before":"1d05ffdb468f687565af5fc3dfdd71c757c88613","after":null,"ref":"refs/heads/dependabot/cargo/h2-0.3.24","pushedAt":"2024-07-17T13:38:19.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"0cjs","name":"Curt J. Sampson","path":"/0cjs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2586652?s=80&v=4"}},{"before":"620dcc8c68c6efd28ac0c6061056fe70240fbc05","after":"810256b92a82d3a6eeaf9798c18bbea73fe6a66e","ref":"refs/heads/dev/cjs/24g17/master-readme","pushedAt":"2024-07-17T13:31:26.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"0cjs","name":"Curt J. Sampson","path":"/0cjs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2586652?s=80&v=4"},"commit":{"message":"README: Warn this branch's code is out of date","shortMessageHtmlLink":"README: Warn this branch's code is out of date"}},{"before":"e58e6b53f7f20c3b3d08a8837fb7614b96e2fa9d","after":"f76eb2d1a3935d8d1e660ff5d971c981fe2ed9af","ref":"refs/heads/main","pushedAt":"2024-07-17T13:26:34.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"0cjs","name":"Curt J. Sampson","path":"/0cjs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2586652?s=80&v=4"},"commit":{"message":"WIP README: New main branch README proposal\n\nThis is on the `main` branch, but the default HEAD is still `master`.","shortMessageHtmlLink":"WIP README: New main branch README proposal"}},{"before":null,"after":"620dcc8c68c6efd28ac0c6061056fe70240fbc05","ref":"refs/heads/dev/cjs/24g17/master-readme","pushedAt":"2024-07-17T13:22:06.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"0cjs","name":"Curt J. Sampson","path":"/0cjs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2586652?s=80&v=4"},"commit":{"message":"README: Warn this branch's code is out of date","shortMessageHtmlLink":"README: Warn this branch's code is out of date"}},{"before":null,"after":"e58e6b53f7f20c3b3d08a8837fb7614b96e2fa9d","ref":"refs/heads/main","pushedAt":"2024-07-16T15:56:07.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"0cjs","name":"Curt J. Sampson","path":"/0cjs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2586652?s=80&v=4"},"commit":{"message":"WIP README: New main branch README proposal\n\nThis is on the `main` branch, but the default HEAD is still `master`.","shortMessageHtmlLink":"WIP README: New main branch README proposal"}},{"before":"b31b97b88c7c8d9c36bc19339e6409b11acc307c","after":null,"ref":"refs/heads/Performance-Structure-Edits","pushedAt":"2024-07-09T18:10:17.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"reekamaharaj","name":"Reeka Maharaj","path":"/reekamaharaj","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26286639?s=80&v=4"}},{"before":"22bc09df9c1206281d07acfc55abcf84ed378561","after":"19f4fe2b6204930a539533b9c068739f53f0ed50","ref":"refs/heads/master","pushedAt":"2024-07-09T13:12:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Pi2Bot","name":"Pi2Bot","path":"/Pi2Bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/157976572?s=80&v=4"},"commit":{"message":"Publish Public Files","shortMessageHtmlLink":"Publish Public Files"}},{"before":"722ccd047edd6b0c666709118c94701abdf9d5b1","after":null,"ref":"refs/heads/cairo-update","pushedAt":"2024-07-05T17:47:11.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"bmmoore","name":"Brandon Moore","path":"/bmmoore","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698479?s=80&v=4"}},{"before":"efb897f17dd42e1ec234e746f11d2df91a8e1d16","after":"22bc09df9c1206281d07acfc55abcf84ed378561","ref":"refs/heads/master","pushedAt":"2024-07-04T10:45:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Pi2Bot","name":"Pi2Bot","path":"/Pi2Bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/157976572?s=80&v=4"},"commit":{"message":"Publish Public Files","shortMessageHtmlLink":"Publish Public Files"}},{"before":"da0960e77ae97bb5836654d6a0410a198b2a09bc","after":"efb897f17dd42e1ec234e746f11d2df91a8e1d16","ref":"refs/heads/master","pushedAt":"2024-07-04T10:02:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Pi2Bot","name":"Pi2Bot","path":"/Pi2Bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/157976572?s=80&v=4"},"commit":{"message":"Publish Public Files","shortMessageHtmlLink":"Publish Public Files"}},{"before":null,"after":"722ccd047edd6b0c666709118c94701abdf9d5b1","ref":"refs/heads/cairo-update","pushedAt":"2024-07-03T18:17:57.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"bmmoore","name":"Brandon Moore","path":"/bmmoore","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/698479?s=80&v=4"},"commit":{"message":"Begin updating for newer cairo.\n\nThe edition line selects a newer language version.\n\nThe debug::PrintTrait and .print method does not seem to\nexit anymore, changed to println!.\n\nCairo language now has visibility, added many pub annotations.","shortMessageHtmlLink":"Begin updating for newer cairo."}},{"before":"e6edf61728f259099a0af991a7454508378e8b94","after":"da0960e77ae97bb5836654d6a0410a198b2a09bc","ref":"refs/heads/master","pushedAt":"2024-06-28T19:22:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Pi2Bot","name":"Pi2Bot","path":"/Pi2Bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/157976572?s=80&v=4"},"commit":{"message":"Publish Public Files","shortMessageHtmlLink":"Publish Public Files"}},{"before":"91ddd25f4ceaf4fe9e60772b8df19853e1e87ebe","after":"e6edf61728f259099a0af991a7454508378e8b94","ref":"refs/heads/master","pushedAt":"2024-06-25T18:37:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Pi2Bot","name":"Pi2Bot","path":"/Pi2Bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/157976572?s=80&v=4"},"commit":{"message":"Publish Public Files","shortMessageHtmlLink":"Publish Public Files"}},{"before":"7588543d7624714302d8aa1c6861f221bacae852","after":"91ddd25f4ceaf4fe9e60772b8df19853e1e87ebe","ref":"refs/heads/master","pushedAt":"2024-06-24T12:30:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Pi2Bot","name":"Pi2Bot","path":"/Pi2Bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/157976572?s=80&v=4"},"commit":{"message":"Publish Public Files","shortMessageHtmlLink":"Publish Public Files"}},{"before":"43085a229ce3143aad2d91a1426f1cf998b06733","after":"7588543d7624714302d8aa1c6861f221bacae852","ref":"refs/heads/master","pushedAt":"2024-06-10T21:24:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Pi2Bot","name":"Pi2Bot","path":"/Pi2Bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/157976572?s=80&v=4"},"commit":{"message":"Publish Public Files","shortMessageHtmlLink":"Publish Public Files"}},{"before":"676becc30f241bccd872739603862ebb809ca1e3","after":"43085a229ce3143aad2d91a1426f1cf998b06733","ref":"refs/heads/master","pushedAt":"2024-06-07T12:30:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Pi2Bot","name":"Pi2Bot","path":"/Pi2Bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/157976572?s=80&v=4"},"commit":{"message":"Publish Public Files","shortMessageHtmlLink":"Publish Public Files"}},{"before":"0c6bd7e14e896c87314a5bdd128c55b90892b614","after":"676becc30f241bccd872739603862ebb809ca1e3","ref":"refs/heads/master","pushedAt":"2024-05-22T14:02:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Pi2Bot","name":"Pi2Bot","path":"/Pi2Bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/157976572?s=80&v=4"},"commit":{"message":"Publish Public Files","shortMessageHtmlLink":"Publish Public Files"}},{"before":"d7f96e82089c4964dfdba1c2123a52fba8719779","after":"0c6bd7e14e896c87314a5bdd128c55b90892b614","ref":"refs/heads/master","pushedAt":"2024-05-20T16:27:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Pi2Bot","name":"Pi2Bot","path":"/Pi2Bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/157976572?s=80&v=4"},"commit":{"message":"Publish Public Files","shortMessageHtmlLink":"Publish Public Files"}},{"before":"bcebaf568c634baae3212c69a4cae6b8fbded22f","after":"d7f96e82089c4964dfdba1c2123a52fba8719779","ref":"refs/heads/master","pushedAt":"2024-05-20T13:25:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Pi2Bot","name":"Pi2Bot","path":"/Pi2Bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/157976572?s=80&v=4"},"commit":{"message":"Publish Public Files","shortMessageHtmlLink":"Publish Public Files"}},{"before":"51c01e1163f963ee31cd703b574fbee3bf39db7c","after":"bcebaf568c634baae3212c69a4cae6b8fbded22f","ref":"refs/heads/master","pushedAt":"2024-05-15T07:23:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Pi2Bot","name":"Pi2Bot","path":"/Pi2Bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/157976572?s=80&v=4"},"commit":{"message":"Publish Public Files","shortMessageHtmlLink":"Publish Public Files"}},{"before":"40df4d441a02b6e1689d63a7cc30563710348ea1","after":"51c01e1163f963ee31cd703b574fbee3bf39db7c","ref":"refs/heads/master","pushedAt":"2024-05-02T06:46:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Pi2Bot","name":"Pi2Bot","path":"/Pi2Bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/157976572?s=80&v=4"},"commit":{"message":"Publish Public Files","shortMessageHtmlLink":"Publish Public Files"}},{"before":"ca260308f1ff52da4668955220581dfffad1685d","after":"40df4d441a02b6e1689d63a7cc30563710348ea1","ref":"refs/heads/master","pushedAt":"2024-04-29T14:12:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Pi2Bot","name":"Pi2Bot","path":"/Pi2Bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/157976572?s=80&v=4"},"commit":{"message":"Publish Public Files","shortMessageHtmlLink":"Publish Public Files"}},{"before":"7596377eac133a15ed94718607b2d6e62b9fd602","after":"ca260308f1ff52da4668955220581dfffad1685d","ref":"refs/heads/master","pushedAt":"2024-04-12T17:25:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Pi2Bot","name":"Pi2Bot","path":"/Pi2Bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/157976572?s=80&v=4"},"commit":{"message":"Publish Public Files","shortMessageHtmlLink":"Publish Public Files"}},{"before":"8bb9c8a23bc379b5f35cc831c93e757cfc087122","after":"7596377eac133a15ed94718607b2d6e62b9fd602","ref":"refs/heads/master","pushedAt":"2024-04-12T15:24:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Pi2Bot","name":"Pi2Bot","path":"/Pi2Bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/157976572?s=80&v=4"},"commit":{"message":"Publish Public Files","shortMessageHtmlLink":"Publish Public Files"}},{"before":"0eafaf39bd8004f812ef33384a60d6c20d5ac816","after":"8bb9c8a23bc379b5f35cc831c93e757cfc087122","ref":"refs/heads/master","pushedAt":"2024-04-12T10:26:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Pi2Bot","name":"Pi2Bot","path":"/Pi2Bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/157976572?s=80&v=4"},"commit":{"message":"Publish Public Files","shortMessageHtmlLink":"Publish Public Files"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0xOFQxMjozMjozMS4wMDAwMDBazwAAAASC5KPK","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0xOFQxMjozMjozMS4wMDAwMDBazwAAAASC5KPK","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNC0xMlQxMDoyNjo0Ny4wMDAwMDBazwAAAAQu-h9M"}},"title":"Activity · Pi-Squared-Inc/proof-checker-public"}