{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":732848755,"defaultBranch":"master","name":"mathematics_in_lean","ownerLogin":"tamirhemo","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2023-12-18T01:57:32.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/48502816?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1705511179.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"dd3060461dd93fc8334d3b3a6e4eeb1bb13d28ed","ref":"refs/heads/tamir/solutions","pushedAt":"2024-01-17T17:06:19.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"tamirhemo","name":"Tamir Hemo","path":"/tamirhemo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48502816?s=80&v=4"},"commit":{"message":"calculating","shortMessageHtmlLink":"calculating"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMS0xN1QxNzowNjoxOS4wMDAwMDBazwAAAAPiP1rR","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMS0xN1QxNzowNjoxOS4wMDAwMDBazwAAAAPiP1rR","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMS0xN1QxNzowNjoxOS4wMDAwMDBazwAAAAPiP1rR"}},"title":"Activity · tamirhemo/mathematics_in_lean"}