{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":810603090,"defaultBranch":"main","name":"smt-solving-exercise","ownerLogin":"mernst","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-06-05T02:43:25.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/121025?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1717559560.0","currentOid":""},"activityList":{"items":[{"before":"0a05278e98a1747eded2d40e2c1426d4a81103d4","after":"83f03990d305ba927ac86f1919cca6256cccb968","ref":"refs/heads/main","pushedAt":"2024-06-06T16:14:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mernst","name":"Michael Ernst","path":"/mernst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/121025?s=80&v=4"},"commit":{"message":"Remove specificity","shortMessageHtmlLink":"Remove specificity"}},{"before":"dc69b29709614ddd9cd2df24a57c8eb893f212fc","after":"0a05278e98a1747eded2d40e2c1426d4a81103d4","ref":"refs/heads/main","pushedAt":"2024-06-05T04:09:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mernst","name":"Michael Ernst","path":"/mernst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/121025?s=80&v=4"},"commit":{"message":"Improve formatting","shortMessageHtmlLink":"Improve formatting"}},{"before":"51a4465a95f78fd2c6b8f58b608b37ef1d134cf3","after":"dc69b29709614ddd9cd2df24a57c8eb893f212fc","ref":"refs/heads/main","pushedAt":"2024-06-05T04:08:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mernst","name":"Michael Ernst","path":"/mernst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/121025?s=80&v=4"},"commit":{"message":"Improve formatting","shortMessageHtmlLink":"Improve formatting"}},{"before":"129fa86797dc26bc3f6e5d2a7fcda68633ae9381","after":"51a4465a95f78fd2c6b8f58b608b37ef1d134cf3","ref":"refs/heads/main","pushedAt":"2024-06-05T04:07:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mernst","name":"Michael Ernst","path":"/mernst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/121025?s=80&v=4"},"commit":{"message":"Improve formatting","shortMessageHtmlLink":"Improve formatting"}},{"before":"3b04767786a4b932f767f93d3eea7e2dbb0ac3b4","after":"129fa86797dc26bc3f6e5d2a7fcda68633ae9381","ref":"refs/heads/main","pushedAt":"2024-06-05T04:06:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mernst","name":"Michael Ernst","path":"/mernst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/121025?s=80&v=4"},"commit":{"message":"Improve formatting","shortMessageHtmlLink":"Improve formatting"}},{"before":null,"after":"3b04767786a4b932f767f93d3eea7e2dbb0ac3b4","ref":"refs/heads/main","pushedAt":"2024-06-05T03:52:40.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mernst","name":"Michael Ernst","path":"/mernst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/121025?s=80&v=4"},"commit":{"message":"Initial revision","shortMessageHtmlLink":"Initial revision"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEXmV0PAA","startCursor":null,"endCursor":null}},"title":"Activity · mernst/smt-solving-exercise"}