{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":47564483,"defaultBranch":"master","name":"ill_narratives","ownerLogin":"Matafou","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2015-12-07T16:29:08.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/4924906?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1685470813.082089","currentOid":""},"activityList":{"items":[{"before":"b24ff9d4e2adf029e53acfb87a6b44c1db72c17e","after":"40a650f5a562d1c3a059e47d7b3086c2e34261fb","ref":"refs/heads/codesource","pushedAt":"2023-05-31T16:10:34.192Z","pushType":"push","commitsCount":1,"pusher":{"login":"Matafou","name":"Pierre Courtieu","path":"/Matafou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4924906?s=80&v=4"},"commit":{"message":"Nettoyage Preuve Emma.","shortMessageHtmlLink":"Nettoyage Preuve Emma."}},{"before":null,"after":"b24ff9d4e2adf029e53acfb87a6b44c1db72c17e","ref":"refs/heads/codesource","pushedAt":"2023-05-30T18:20:13.082Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Matafou","name":"Pierre Courtieu","path":"/Matafou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4924906?s=80&v=4"},"commit":{"message":"WIP sur la présentation codesource","shortMessageHtmlLink":"WIP sur la présentation codesource"}},{"before":"30f4737917002b8de525ffce9d3d760c24a4d67e","after":"24129ad3f1dfe651c1da59c970cf29b53a1e66a9","ref":"refs/heads/master","pushedAt":"2023-05-30T07:11:33.767Z","pushType":"push","commitsCount":1,"pusher":{"login":"Matafou","name":"Pierre Courtieu","path":"/Matafou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4924906?s=80&v=4"},"commit":{"message":"Cleaning and commenting.","shortMessageHtmlLink":"Cleaning and commenting."}},{"before":"b6f2b44300e287ad824f2fb61e08f41427908461","after":"30f4737917002b8de525ffce9d3d760c24a4d67e","ref":"refs/heads/master","pushedAt":"2023-05-29T08:32:12.371Z","pushType":"push","commitsCount":1,"pusher":{"login":"Matafou","name":"Pierre Courtieu","path":"/Matafou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4924906?s=80&v=4"},"commit":{"message":"Further cleaning.","shortMessageHtmlLink":"Further cleaning."}},{"before":"d7e43b73611d6bc8b9eb5a28d9557e8784d5a411","after":"b6f2b44300e287ad824f2fb61e08f41427908461","ref":"refs/heads/master","pushedAt":"2023-05-29T08:31:14.795Z","pushType":"push","commitsCount":1,"pusher":{"login":"Matafou","name":"Pierre Courtieu","path":"/Matafou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4924906?s=80&v=4"},"commit":{"message":"A few cleaning and additional notations.\n\nPreparing to show some code for \"Code source\" seminar.","shortMessageHtmlLink":"A few cleaning and additional notations."}},{"before":"f508b66924fa34cd68b63281e972315998f1d1f7","after":"d7e43b73611d6bc8b9eb5a28d9557e8784d5a411","ref":"refs/heads/master","pushedAt":"2023-04-02T19:22:31.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Matafou","name":"Pierre Courtieu","path":"/Matafou","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4924906?s=80&v=4"},"commit":{"message":"Merge pull request #2 from ComputerAidedLL/master\n\nAdapt to Coq 8.17","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1515116263\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Matafou/ill_narratives/issues/2\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Matafou/ill_narratives/pull/2/hovercard\" href=\"https://github.com/Matafou/ill_narratives/pull/2\">#2</a> from ComputerAidedLL/master"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADN_2fFAA","startCursor":null,"endCursor":null}},"title":"Activity · Matafou/ill_narratives"}