{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":76894394,"defaultBranch":"master","name":"vscode-lean","ownerLogin":"leanprover","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-12-19T20:21:34.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/7233018?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1719232076.0","currentOid":""},"activityList":{"items":[{"before":"1589ca3a65e394b3789409707febbd2d166c9344","after":"a0764d7f36073e2d94caaeb528d9c44e466f9861","ref":"refs/heads/master","pushedAt":"2024-06-24T12:27:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mhuisi","name":"Marc Huisinga","path":"/mhuisi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10852073?s=80&v=4"},"commit":{"message":"Release 0.16.59","shortMessageHtmlLink":"Release 0.16.59"}},{"before":"0696b292855c7cae711e00d69c79b2687c336f25","after":"1589ca3a65e394b3789409707febbd2d166c9344","ref":"refs/heads/master","pushedAt":"2023-09-17T00:43:21.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"gebner","name":"Gabriel Ebner","path":"/gebner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/313929?s=80&v=4"},"commit":{"message":"Update README to reflect that extension is for Lean 3 (#339)\n\n* doc: update readme to reflect that extension is for lean 3\r\n\r\ncloses #338\r\n\r\n* doc: clearer description that vscode-lean4 must be used for lean4","shortMessageHtmlLink":"Update README to reflect that extension is for Lean 3 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1887770163\" data-permission-text=\"Title is private\" data-url=\"https://github.com/leanprover/vscode-lean/issues/339\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/leanprover/vscode-lean/pull/339/hovercard\" href=\"https://github.com/leanprover/vscode-lean/pull/339\">#339</a>)"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEbX4R9gA","startCursor":null,"endCursor":null}},"title":"Activity · leanprover/vscode-lean"}