{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":669917366,"defaultBranch":"main","name":"mypl","ownerLogin":"xavierm02","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-07-23T21:08:29.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/364461?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1691440651.0","currentOid":""},"activityList":{"items":[{"before":"e43e8ac2363b3ae49e90ee8c5ec034269c3be1c5","after":"5c5f09324314bcf801a65eeef4fb70da9405e9f5","ref":"refs/heads/main","pushedAt":"2023-08-11T09:25:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"xavierm02","name":"MONTILLET Xavier","path":"/xavierm02","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/364461?s=80&v=4"},"commit":{"message":"Extended NegFrame parser to projections\n\nExtended NegFrame parser to projections, and added tests","shortMessageHtmlLink":"Extended NegFrame parser to projections"}},{"before":"b12d4c98aad3030aa4290e8be5574cde83ee00eb","after":"e43e8ac2363b3ae49e90ee8c5ec034269c3be1c5","ref":"refs/heads/main","pushedAt":"2023-08-11T08:30:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"xavierm02","name":"MONTILLET Xavier","path":"/xavierm02","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/364461?s=80&v=4"},"commit":{"message":"Made NegFrame.ml compile.\n\nMade NegFrame.ml compile (which involved exporting more modules in Modular_calculi) and moved Id.ml to the correct location.","shortMessageHtmlLink":"Made NegFrame.ml compile."}},{"before":"a56e23bc10bdb0a815dda6b0a79855b4ae0d7895","after":"b12d4c98aad3030aa4290e8be5574cde83ee00eb","ref":"refs/heads/main","pushedAt":"2023-08-07T21:04:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"xavierm02","name":"MONTILLET Xavier","path":"/xavierm02","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/364461?s=80&v=4"},"commit":{"message":"Added README.md","shortMessageHtmlLink":"Added README.md"}},{"before":"a56e23bc10bdb0a815dda6b0a79855b4ae0d7895","after":null,"ref":"refs/heads/master","pushedAt":"2023-08-07T20:37:31.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"xavierm02","name":"MONTILLET Xavier","path":"/xavierm02","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/364461?s=80&v=4"}},{"before":"308ba1221ae26013ed439813ff5cca92b4364140","after":"a56e23bc10bdb0a815dda6b0a79855b4ae0d7895","ref":"refs/heads/main","pushedAt":"2023-08-07T20:36:24.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"xavierm02","name":"MONTILLET Xavier","path":"/xavierm02","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/364461?s=80&v=4"},"commit":{"message":"First commit.","shortMessageHtmlLink":"First commit."}},{"before":null,"after":"a56e23bc10bdb0a815dda6b0a79855b4ae0d7895","ref":"refs/heads/master","pushedAt":"2023-08-07T20:34:46.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"xavierm02","name":"MONTILLET Xavier","path":"/xavierm02","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/364461?s=80&v=4"},"commit":{"message":"First commit.","shortMessageHtmlLink":"First commit."}},{"before":"a0b666b772274089fe583af9559361d62c4403ad","after":"308ba1221ae26013ed439813ff5cca92b4364140","ref":"refs/heads/main","pushedAt":"2023-07-23T21:33:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"xavierm02","name":"MONTILLET Xavier","path":"/xavierm02","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/364461?s=80&v=4"},"commit":{"message":"First commit.","shortMessageHtmlLink":"First commit."}},{"before":null,"after":"a0b666b772274089fe583af9559361d62c4403ad","ref":"refs/heads/main","pushedAt":"2023-07-23T21:08:29.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"xavierm02","name":"MONTILLET Xavier","path":"/xavierm02","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/364461?s=80&v=4"},"commit":{"message":"Initial commit","shortMessageHtmlLink":"Initial commit"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADaLbrAwA","startCursor":null,"endCursor":null}},"title":"Activity · xavierm02/mypl"}