{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":503056677,"defaultBranch":"main","name":"LeanInk","ownerLogin":"hargoniX","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2022-06-13T17:42:43.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/33270164?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1658841393.553806","currentOid":""},"activityList":{"items":[{"before":"96fa74f89aff86ced2d947f0ff3ac75f07c0a358","after":"f1f904e00d79a91ca6a76dec6e318531a7fd2a0f","ref":"refs/heads/doc-gen","pushedAt":"2024-02-02T10:22:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"chore: set proper toolchain","shortMessageHtmlLink":"chore: set proper toolchain"}},{"before":"2447df5cc6e48eb965c3c3fba87e46d353b5e9f1","after":"96fa74f89aff86ced2d947f0ff3ac75f07c0a358","ref":"refs/heads/doc-gen","pushedAt":"2024-02-02T10:20:15.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"hargoniX","name":"Henrik Böving","path":"/hargoniX","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33270164?s=80&v=4"},"commit":{"message":"Merge pull request #1 from mhuisi/bump-3159\n\nchore: bump for lean4#3159","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2076264217\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hargoniX/LeanInk/issues/1\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/hargoniX/LeanInk/pull/1/hovercard\" href=\"https://github.com/hargoniX/LeanInk/pull/1\">#1</a> from mhuisi/bump-3159"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD8BG2-AA","startCursor":null,"endCursor":null}},"title":"Activity · hargoniX/LeanInk"}