{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":839693837,"defaultBranch":"main","name":"awesome-formal-verification","ownerLogin":"ElNiak","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-08-08T06:24:54.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/26499667?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1723098294.0","currentOid":""},"activityList":{"items":[{"before":"c62ce5fd820b07413230637da31c68910f343e8b","after":"ce18f4b82d759b1f7978e965b529d642b490394b","ref":"refs/heads/main","pushedAt":"2024-08-08T17:09:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ElNiak","name":null,"path":"/ElNiak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26499667?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"27c4efe0bd8445be18e8ba9039220fc41d23f2aa","after":"c62ce5fd820b07413230637da31c68910f343e8b","ref":"refs/heads/main","pushedAt":"2024-08-08T06:50:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ElNiak","name":null,"path":"/ElNiak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26499667?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"fdcb1bbec6fd7515ca865cf4d76de670a7b42f8c","after":"27c4efe0bd8445be18e8ba9039220fc41d23f2aa","ref":"refs/heads/main","pushedAt":"2024-08-08T06:27:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ElNiak","name":null,"path":"/ElNiak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26499667?s=80&v=4"},"commit":{"message":"Create contributing.md","shortMessageHtmlLink":"Create contributing.md"}},{"before":null,"after":"fdcb1bbec6fd7515ca865cf4d76de670a7b42f8c","ref":"refs/heads/main","pushedAt":"2024-08-08T06:24:54.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ElNiak","name":null,"path":"/ElNiak","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26499667?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,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0wOFQxNzowOTo0NC4wMDAwMDBazwAAAASVf9Lt","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0wOFQwNjoyNDo1NC4wMDAwMDBazwAAAASU5kTy"}},"title":"Activity · ElNiak/awesome-formal-verification"}