{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":762100654,"defaultBranch":"main","name":"formal-methods","ownerLogin":"lgfa29","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-02-23T04:47:41.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/775380?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1708740780.0","currentOid":""},"activityList":{"items":[{"before":"2d7ee7d33d3752f0473927b9a8ac6182e1568e5c","after":"ef63e8c29a6adde63c6078e31a29281d939b0929","ref":"refs/heads/main","pushedAt":"2024-02-24T02:24:56.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"lgfa29","name":"Luiz Aoqui","path":"/lgfa29","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/775380?s=80&v=4"},"commit":{"message":"p: add database isolation model","shortMessageHtmlLink":"p: add database isolation model"}},{"before":"02d39e60cfbbeb8bb00764ace39d7680219eaea3","after":null,"ref":"refs/heads/scratch","pushedAt":"2024-02-24T02:13:00.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"lgfa29","name":"Luiz Aoqui","path":"/lgfa29","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/775380?s=80&v=4"}},{"before":null,"after":"2d7ee7d33d3752f0473927b9a8ac6182e1568e5c","ref":"refs/heads/main","pushedAt":"2024-02-24T02:12:24.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"lgfa29","name":"Luiz Aoqui","path":"/lgfa29","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/775380?s=80&v=4"},"commit":{"message":"p: add database isolation model","shortMessageHtmlLink":"p: add database isolation model"}},{"before":null,"after":"02d39e60cfbbeb8bb00764ace39d7680219eaea3","ref":"refs/heads/scratch","pushedAt":"2024-02-23T04:59:11.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"lgfa29","name":"Luiz Aoqui","path":"/lgfa29","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/775380?s=80&v=4"},"commit":{"message":"tla","shortMessageHtmlLink":"tla"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEA7A_jQA","startCursor":null,"endCursor":null}},"title":"Activity · lgfa29/formal-methods"}