{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":76352783,"defaultBranch":"master","name":"PlusCal-examples","ownerLogin":"muratdem","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-12-13T11:31:01.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1136825?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1697898348.0","currentOid":""},"activityList":{"items":[{"before":"17c17594714535b1dab7e957dc61daed2f292e6d","after":"559f4b1e1956999fe8751acc3720b671822d21f8","ref":"refs/heads/master","pushedAt":"2023-10-21T14:25:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"muratdem","name":"Murat Demirbas","path":"/muratdem","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1136825?s=80&v=4"},"commit":{"message":"Uploading the correct version of tla file","shortMessageHtmlLink":"Uploading the correct version of tla file"}},{"before":"7dd77f23bf7e863bba570e5fcb6948d02a45790c","after":"17c17594714535b1dab7e957dc61daed2f292e6d","ref":"refs/heads/master","pushedAt":"2023-10-21T13:53:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"muratdem","name":"Murat Demirbas","path":"/muratdem","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1136825?s=80&v=4"},"commit":{"message":"Solution to the Cabbage, Goat, Wolf puzzle in TLA+","shortMessageHtmlLink":"Solution to the Cabbage, Goat, Wolf puzzle in TLA+"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADnI7hZgA","startCursor":null,"endCursor":null}},"title":"Activity · muratdem/PlusCal-examples"}