{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":800556220,"defaultBranch":"main","name":"ProofWidgets4","ownerLogin":"adamtopaz","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2024-05-14T15:00:39.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/5577687?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1715698845.942487","currentOid":""},"activityList":{"items":[{"before":"97985908529c318290fd44b197d8c75774d53da7","after":"bc346eab4c89f5cc9f7a0dcb371ebf44b74907dc","ref":"refs/heads/main","pushedAt":"2024-05-16T04:01:07.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Vtec234","name":"Wojciech Nawrocki","path":"/Vtec234","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13901751?s=80&v=4"},"commit":{"message":"Merge pull request #59 from leanprover-community/linear-build\n\nLinear build","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2299194018\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover-community/ProofWidgets4/issues/59\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover-community/ProofWidgets4/pull/59/hovercard\" href=\"https://github.com/leanprover-community/ProofWidgets4/pull/59\">leanprover-community#59</a> from leanprover-community/…"}},{"before":"41110fa2387e07a6411d4bbf438167efa5f74343","after":"97985908529c318290fd44b197d8c75774d53da7","ref":"refs/heads/main","pushedAt":"2024-05-14T19:43:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"Add docstrings","shortMessageHtmlLink":"Add docstrings"}},{"before":"200e329222d53ac1de384dcfc8c18b76a7d75ee3","after":"41110fa2387e07a6411d4bbf438167efa5f74343","ref":"refs/heads/main","pushedAt":"2024-05-14T17:31:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"cleanup demo","shortMessageHtmlLink":"cleanup demo"}},{"before":"e6b6247c61280c77ade6bbf0bc3c66a44fe2e0c5","after":"200e329222d53ac1de384dcfc8c18b76a7d75ee3","ref":"refs/heads/main","pushedAt":"2024-05-14T17:14:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adamtopaz","name":"Adam Topaz","path":"/adamtopaz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5577687?s=80&v=4"},"commit":{"message":"info graph","shortMessageHtmlLink":"info graph"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAESy9ZHAA","startCursor":null,"endCursor":null}},"title":"Activity · adamtopaz/ProofWidgets4"}