{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":723669072,"defaultBranch":"master","name":"dafny","ownerLogin":"DenisGorbachev","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2023-11-26T12:09:41.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/829578?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1701000826.0","currentOid":""},"activityList":{"items":[{"before":"365089e4d74653197462ef09ff15c41451e7083f","after":"f4f5977617ba7f5aadabe38d4c0047b362c5a6d5","ref":"refs/heads/fix-typos","pushedAt":"2023-11-26T13:38:10.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"fabiomadge","name":"Fabio Madge","path":"/fabiomadge","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/143799?s=80&v=4"},"commit":{"message":"Merge branch 'master' into fix-typos","shortMessageHtmlLink":"Merge branch 'master' into fix-typos"}},{"before":null,"after":"365089e4d74653197462ef09ff15c41451e7083f","ref":"refs/heads/fix-typos","pushedAt":"2023-11-26T12:13:46.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"DenisGorbachev","name":"Denis Gorbachev","path":"/DenisGorbachev","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/829578?s=80&v=4"},"commit":{"message":"typo: fix typos in UserGuide","shortMessageHtmlLink":"typo: fix typos in UserGuide"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADt98m-QA","startCursor":null,"endCursor":null}},"title":"Activity · DenisGorbachev/dafny"}