{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":700606564,"defaultBranch":"main","name":"proof-repair-quotients","ownerLogin":"InnovativeInventor","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-10-04T23:29:41.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/20117409?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1696462187.0","currentOid":""},"activityList":{"items":[{"before":"271fbb66bb24e38751aa23426a47de74b2a20fb1","after":"4d176eeb1c6a574e75c07eab5318b266e689f971","ref":"refs/heads/main","pushedAt":"2024-03-03T17:04:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"InnovativeInventor","name":"Max Fan","path":"/InnovativeInventor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20117409?s=80&v=4"},"commit":{"message":"Fix spacing issue","shortMessageHtmlLink":"Fix spacing issue"}},{"before":"c4ba765a1f9c51a340247b6ea8c1d8377a4f1d9c","after":"271fbb66bb24e38751aa23426a47de74b2a20fb1","ref":"refs/heads/main","pushedAt":"2024-03-03T17:00:37.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"InnovativeInventor","name":"Max Fan","path":"/InnovativeInventor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20117409?s=80&v=4"},"commit":{"message":"Update paper name in README","shortMessageHtmlLink":"Update paper name in README"}},{"before":"7e93ed5c092a53c6066d37173dd37ee37ebdbbbf","after":"c4ba765a1f9c51a340247b6ea8c1d8377a4f1d9c","ref":"refs/heads/main","pushedAt":"2024-03-03T17:00:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"InnovativeInventor","name":"Max Fan","path":"/InnovativeInventor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20117409?s=80&v=4"},"commit":{"message":"Update paper name in README","shortMessageHtmlLink":"Update paper name in README"}},{"before":"2bdb3ec2c5733b3208cb4b0e440cc5f34f33da3f","after":"7e93ed5c092a53c6066d37173dd37ee37ebdbbbf","ref":"refs/heads/main","pushedAt":"2024-03-03T16:55:49.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"InnovativeInventor","name":"Max Fan","path":"/InnovativeInventor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20117409?s=80&v=4"},"commit":{"message":"Make section titles line up","shortMessageHtmlLink":"Make section titles line up"}},{"before":"04ce370bb48c522ef494e6dccdec3da9054defdb","after":"2bdb3ec2c5733b3208cb4b0e440cc5f34f33da3f","ref":"refs/heads/main","pushedAt":"2024-03-03T16:55:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"InnovativeInventor","name":"Max Fan","path":"/InnovativeInventor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20117409?s=80&v=4"},"commit":{"message":"Make section titles line up","shortMessageHtmlLink":"Make section titles line up"}},{"before":"cab8c8f9617fa84253eef9629aeb540c9a364751","after":"04ce370bb48c522ef494e6dccdec3da9054defdb","ref":"refs/heads/main","pushedAt":"2024-03-03T16:52:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"InnovativeInventor","name":"Max Fan","path":"/InnovativeInventor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20117409?s=80&v=4"},"commit":{"message":"Remove links because GitHub submodules don't link well","shortMessageHtmlLink":"Remove links because GitHub submodules don't link well"}},{"before":"b5f6b422e3fc015a0a95d1bb27f72504af2bb098","after":"cab8c8f9617fa84253eef9629aeb540c9a364751","ref":"refs/heads/main","pushedAt":"2024-03-03T16:51:06.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"InnovativeInventor","name":"Max Fan","path":"/InnovativeInventor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20117409?s=80&v=4"},"commit":{"message":"Update README for new submission","shortMessageHtmlLink":"Update README for new submission"}},{"before":"8ea36fa333733758287fd10d60068a149e5daa9f","after":"b5f6b422e3fc015a0a95d1bb27f72504af2bb098","ref":"refs/heads/main","pushedAt":"2024-03-03T16:49:15.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"InnovativeInventor","name":"Max Fan","path":"/InnovativeInventor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20117409?s=80&v=4"},"commit":{"message":"Update README for new submission","shortMessageHtmlLink":"Update README for new submission"}},{"before":"91026748e881522bf69bfb20481206ec8c75caba","after":"8ea36fa333733758287fd10d60068a149e5daa9f","ref":"refs/heads/main","pushedAt":"2024-03-03T16:48:42.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"InnovativeInventor","name":"Max Fan","path":"/InnovativeInventor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20117409?s=80&v=4"},"commit":{"message":"Update README for new submission","shortMessageHtmlLink":"Update README for new submission"}},{"before":"4456704198e071e5b937603688ac2a774050914b","after":"91026748e881522bf69bfb20481206ec8c75caba","ref":"refs/heads/main","pushedAt":"2024-03-03T16:48:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"InnovativeInventor","name":"Max Fan","path":"/InnovativeInventor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20117409?s=80&v=4"},"commit":{"message":"Update README for new submission","shortMessageHtmlLink":"Update README for new submission"}},{"before":"4f105c9d1267c9b03dd891be0919dc245b4d2348","after":"4456704198e071e5b937603688ac2a774050914b","ref":"refs/heads/main","pushedAt":"2024-03-03T16:38:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"InnovativeInventor","name":"Max Fan","path":"/InnovativeInventor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20117409?s=80&v=4"},"commit":{"message":"Clean up and update Cubical Agda artifact files","shortMessageHtmlLink":"Clean up and update Cubical Agda artifact files"}},{"before":"d9ff021e4227fc1c7534ad33f62b9f72cea465ed","after":"4f105c9d1267c9b03dd891be0919dc245b4d2348","ref":"refs/heads/main","pushedAt":"2024-03-03T16:36:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"InnovativeInventor","name":"Max Fan","path":"/InnovativeInventor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20117409?s=80&v=4"},"commit":{"message":"Add pumpkin-pi two-list-queue branch as git submodule","shortMessageHtmlLink":"Add pumpkin-pi two-list-queue branch as git submodule"}},{"before":"3d5b64475d000c9b515c0b39bb0cabeeda2db535","after":"d9ff021e4227fc1c7534ad33f62b9f72cea465ed","ref":"refs/heads/main","pushedAt":"2023-10-15T01:49:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"InnovativeInventor","name":"Max Fan","path":"/InnovativeInventor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20117409?s=80&v=4"},"commit":{"message":"Update link to preprint","shortMessageHtmlLink":"Update link to preprint"}},{"before":"a1ff2a549a75338c14d07081eca691fde8752d8b","after":"3d5b64475d000c9b515c0b39bb0cabeeda2db535","ref":"refs/heads/main","pushedAt":"2023-10-09T17:29:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"InnovativeInventor","name":"Max Fan","path":"/InnovativeInventor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20117409?s=80&v=4"},"commit":{"message":"Add link to draft on Talia's website","shortMessageHtmlLink":"Add link to draft on Talia's website"}},{"before":"91ad192e09d505fdf0dfeaa1251a845270fdf1fe","after":"a1ff2a549a75338c14d07081eca691fde8752d8b","ref":"refs/heads/main","pushedAt":"2023-10-05T04:17:21.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"InnovativeInventor","name":"Max Fan","path":"/InnovativeInventor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20117409?s=80&v=4"},"commit":{"message":"Add pointers to folder locations","shortMessageHtmlLink":"Add pointers to folder locations"}},{"before":"1b4b58d5c1464c3a40b36f5ec90f7e437fcef867","after":"91ad192e09d505fdf0dfeaa1251a845270fdf1fe","ref":"refs/heads/main","pushedAt":"2023-10-04T23:44:43.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"InnovativeInventor","name":"Max Fan","path":"/InnovativeInventor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20117409?s=80&v=4"},"commit":{"message":"Add pointers to folder locations","shortMessageHtmlLink":"Add pointers to folder locations"}},{"before":"9282f5c9992c3f5df586efe7a5fd531f79eff518","after":"1b4b58d5c1464c3a40b36f5ec90f7e437fcef867","ref":"refs/heads/main","pushedAt":"2023-10-04T23:43:52.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"InnovativeInventor","name":"Max Fan","path":"/InnovativeInventor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20117409?s=80&v=4"},"commit":{"message":"Add pointers to folder locations","shortMessageHtmlLink":"Add pointers to folder locations"}},{"before":"572ff7b519c815c3bcfaade03231339bac8cfa70","after":"9282f5c9992c3f5df586efe7a5fd531f79eff518","ref":"refs/heads/main","pushedAt":"2023-10-04T23:43:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"InnovativeInventor","name":"Max Fan","path":"/InnovativeInventor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20117409?s=80&v=4"},"commit":{"message":"Add pointers to folder locations","shortMessageHtmlLink":"Add pointers to folder locations"}},{"before":"8affde98062b71df4a3ec981346c21c062cedab7","after":"572ff7b519c815c3bcfaade03231339bac8cfa70","ref":"refs/heads/main","pushedAt":"2023-10-04T23:37:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"InnovativeInventor","name":"Max Fan","path":"/InnovativeInventor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20117409?s=80&v=4"},"commit":{"message":"Add basic info to README","shortMessageHtmlLink":"Add basic info to README"}},{"before":null,"after":"8affde98062b71df4a3ec981346c21c062cedab7","ref":"refs/heads/main","pushedAt":"2023-10-04T23:29:47.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"InnovativeInventor","name":"Max Fan","path":"/InnovativeInventor","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20117409?s=80&v=4"},"commit":{"message":"Submitted versions of files.","shortMessageHtmlLink":"Submitted versions of files."}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMy0wM1QxNzowNDowNi4wMDAwMDBazwAAAAQLE2Ko","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMC0wNFQyMzoyOTo0Ny4wMDAwMDBazwAAAAOPsEIr"}},"title":"Activity · InnovativeInventor/proof-repair-quotients"}