{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":541357274,"defaultBranch":"main","name":"programming-logic-with-key-n-dafny","ownerLogin":"matiashrnndz","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-09-26T01:00:15.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/33187155?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1670887994.39886","currentOid":""},"activityList":{"items":[{"before":"a7e10051879c9f845c0fda6be7004097d3038e95","after":"c85043bb84396f91bd243d807ea205732a4d2489","ref":"refs/heads/main","pushedAt":"2023-08-14T17:04:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"matiashrnndz","name":"Matias Hernández","path":"/matiashrnndz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33187155?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADanvv2AA","startCursor":null,"endCursor":null}},"title":"Activity · matiashrnndz/programming-logic-with-key-n-dafny"}