{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":576210690,"defaultBranch":"main","name":"protocol-verification-refinement","ownerLogin":"viperproject","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-12-09T09:16:32.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/19855605?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1670577466.992234","currentOid":""},"activityList":{"items":[{"before":"bc5fd96a34d13db1bfcae69f9979da7ebd287904","after":"131932c0746f4906afdda5a97858d9d677e3c12b","ref":"refs/heads/main","pushedAt":"2023-12-07T15:56:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ArquintL","name":"Linard Arquint","path":"/ArquintL","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3762537?s=80&v=4"},"commit":{"message":"Create CITATION.bib","shortMessageHtmlLink":"Create CITATION.bib"}},{"before":"0e80778ddec106c542d552e30b3b4562c3ed425b","after":"bc5fd96a34d13db1bfcae69f9979da7ebd287904","ref":"refs/heads/main","pushedAt":"2023-12-07T15:56:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ArquintL","name":"Linard Arquint","path":"/ArquintL","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3762537?s=80&v=4"},"commit":{"message":"Updates README.md","shortMessageHtmlLink":"Updates README.md"}},{"before":"5b2c02b4ed2b01ca795db587bcb15c75fc714024","after":"0e80778ddec106c542d552e30b3b4562c3ed425b","ref":"refs/heads/main","pushedAt":"2023-08-16T23:31:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ArquintL","name":"Linard Arquint","path":"/ArquintL","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3762537?s=80&v=4"},"commit":{"message":"adds link to published paper","shortMessageHtmlLink":"adds link to published paper"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADxDMxxAA","startCursor":null,"endCursor":null}},"title":"Activity · viperproject/protocol-verification-refinement"}