{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":758437380,"defaultBranch":"master","name":"lean-ssr","ownerLogin":"verse-lab","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-02-16T10:17:38.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/75077305?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1726210302.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"d7eab3517b7f20fa796bc42eba5c71ef41c4d236","ref":"refs/heads/v4.11.0","pushedAt":"2024-09-13T06:51:42.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"volodeyka","name":"Vladimir Gladshtein","path":"/volodeyka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55004725?s=80&v=4"},"commit":{"message":"fix set/get","shortMessageHtmlLink":"fix set/get"}},{"before":"d3e0bbaeb253481e2ac135ea5f11447d6fa30678","after":"d7eab3517b7f20fa796bc42eba5c71ef41c4d236","ref":"refs/heads/v4.9.0","pushedAt":"2024-08-21T07:16:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"volodeyka","name":"Vladimir Gladshtein","path":"/volodeyka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55004725?s=80&v=4"},"commit":{"message":"fix set/get","shortMessageHtmlLink":"fix set/get"}},{"before":null,"after":"d3e0bbaeb253481e2ac135ea5f11447d6fa30678","ref":"refs/heads/v4.9.0","pushedAt":"2024-08-21T05:35:18.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"volodeyka","name":"Vladimir Gladshtein","path":"/volodeyka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55004725?s=80&v=4"},"commit":{"message":"bump to 4.9.0","shortMessageHtmlLink":"bump to 4.9.0"}},{"before":"6b264bb55f91354b98fa7b0742011cc07c6781bf","after":"cd4292736317102a8dfc9cc05bc2c4b976087b22","ref":"refs/heads/master","pushedAt":"2024-07-17T11:08:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"volodeyka","name":"Vladimir Gladshtein","path":"/volodeyka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55004725?s=80&v=4"},"commit":{"message":"bump tp 4.10.0-rc2","shortMessageHtmlLink":"bump tp 4.10.0-rc2"}},{"before":"561a813886bc1364d297ec7d2fb2775b940ff651","after":"6b264bb55f91354b98fa7b0742011cc07c6781bf","ref":"refs/heads/master","pushedAt":"2024-07-02T07:17:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"volodeyka","name":"Vladimir Gladshtein","path":"/volodeyka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55004725?s=80&v=4"},"commit":{"message":"bump to 4.10","shortMessageHtmlLink":"bump to 4.10"}},{"before":"b430f1d13f8119b8005878c032bacd9db49ac0e7","after":"561a813886bc1364d297ec7d2fb2775b940ff651","ref":"refs/heads/master","pushedAt":"2024-07-02T07:06:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"volodeyka","name":"Vladimir Gladshtein","path":"/volodeyka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55004725?s=80&v=4"},"commit":{"message":"enhance sdone","shortMessageHtmlLink":"enhance sdone"}},{"before":"29ba85c915de17602ba224558e6ebaf2a2845786","after":"b430f1d13f8119b8005878c032bacd9db49ac0e7","ref":"refs/heads/master","pushedAt":"2024-06-19T06:23:21.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"volodeyka","name":"Vladimir Gladshtein","path":"/volodeyka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55004725?s=80&v=4"},"commit":{"message":"bump to 4.9.0","shortMessageHtmlLink":"bump to 4.9.0"}},{"before":null,"after":"631373b8a4eab3d43e74b829927ef90b1ca0e3ac","ref":"refs/heads/filterMap","pushedAt":"2024-04-19T06:29:35.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"kiranandcode","name":"Kiran Gopinathan","path":"/kiranandcode","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/23038502?s=80&v=4"},"commit":{"message":"Made filter more efficient\n\nI made it more lean","shortMessageHtmlLink":"Made filter more efficient"}},{"before":"cddb4cfa5d8b405a62ab0aee9c0fc51066682add","after":"29ba85c915de17602ba224558e6ebaf2a2845786","ref":"refs/heads/master","pushedAt":"2024-04-15T08:30:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"volodeyka","name":"Vladimir Gladshtein","path":"/volodeyka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55004725?s=80&v=4"},"commit":{"message":"fix talk files","shortMessageHtmlLink":"fix talk files"}},{"before":"98c44e3b9d04f248e8b8d8f9202a485a63720605","after":"cddb4cfa5d8b405a62ab0aee9c0fc51066682add","ref":"refs/heads/master","pushedAt":"2024-04-12T08:55:06.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"volodeyka","name":"Vladimir Gladshtein","path":"/volodeyka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55004725?s=80&v=4"},"commit":{"message":"add talk folder","shortMessageHtmlLink":"add talk folder"}},{"before":"cb6d693c1e3f0eeb36d03c6475e29fdbe9e279a4","after":"98c44e3b9d04f248e8b8d8f9202a485a63720605","ref":"refs/heads/master","pushedAt":"2024-03-22T12:17:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ilyasergey","name":"Ilya Sergey","path":"/ilyasergey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/161937?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"75fe9867bac6403cfd3a878e5c4ca1bb86bb2fdd","after":"cb6d693c1e3f0eeb36d03c6475e29fdbe9e279a4","ref":"refs/heads/master","pushedAt":"2024-03-22T12:17:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ilyasergey","name":"Ilya Sergey","path":"/ilyasergey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/161937?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"4d00c1ea4e6df0c982446855b761a349c0bfa4a3","after":"75fe9867bac6403cfd3a878e5c4ca1bb86bb2fdd","ref":"refs/heads/master","pushedAt":"2024-03-22T10:17:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ilyasergey","name":"Ilya Sergey","path":"/ilyasergey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/161937?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"47d05de5353501d487da3c312dd8d9d81dac99a6","after":"4d00c1ea4e6df0c982446855b761a349c0bfa4a3","ref":"refs/heads/master","pushedAt":"2024-03-22T10:07:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"volodeyka","name":"Vladimir Gladshtein","path":"/volodeyka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55004725?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"fc7416da822b059f0297710d26f6f3169ad39ac5","after":"47d05de5353501d487da3c312dd8d9d81dac99a6","ref":"refs/heads/master","pushedAt":"2024-03-22T09:40:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"volodeyka","name":"Vladimir Gladshtein","path":"/volodeyka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55004725?s=80&v=4"},"commit":{"message":"doc","shortMessageHtmlLink":"doc"}},{"before":"6b614983d4bde638edceb5de9745fa748fae87f8","after":"fc7416da822b059f0297710d26f6f3169ad39ac5","ref":"refs/heads/master","pushedAt":"2024-03-22T09:40:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"volodeyka","name":"Vladimir Gladshtein","path":"/volodeyka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55004725?s=80&v=4"},"commit":{"message":"doc","shortMessageHtmlLink":"doc"}},{"before":"fd578457375e226415b903561e511c5d5014cef5","after":"6b614983d4bde638edceb5de9745fa748fae87f8","ref":"refs/heads/master","pushedAt":"2024-03-22T09:39:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"volodeyka","name":"Vladimir Gladshtein","path":"/volodeyka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55004725?s=80&v=4"},"commit":{"message":"doc","shortMessageHtmlLink":"doc"}},{"before":"86b2fe1afa4331555b2b6c0e58e0f7a94e4a2183","after":"fd578457375e226415b903561e511c5d5014cef5","ref":"refs/heads/master","pushedAt":"2024-03-22T08:00:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"volodeyka","name":"Vladimir Gladshtein","path":"/volodeyka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55004725?s=80&v=4"},"commit":{"message":"introdusing hints for ssr cases","shortMessageHtmlLink":"introdusing hints for ssr cases"}},{"before":"b5eb53c301008d99153ae7088ed7fb964d593f0d","after":"86b2fe1afa4331555b2b6c0e58e0f7a94e4a2183","ref":"refs/heads/master","pushedAt":"2024-03-22T08:00:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"volodeyka","name":"Vladimir Gladshtein","path":"/volodeyka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55004725?s=80&v=4"},"commit":{"message":"introdusing hints for ssr cases","shortMessageHtmlLink":"introdusing hints for ssr cases"}},{"before":"ef80113cb3987ecdbb0a916f57d7bcfa9c06d4f3","after":"b5eb53c301008d99153ae7088ed7fb964d593f0d","ref":"refs/heads/master","pushedAt":"2024-03-22T07:39:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"volodeyka","name":"Vladimir Gladshtein","path":"/volodeyka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55004725?s=80&v=4"},"commit":{"message":"introdusing hints for ssr cases","shortMessageHtmlLink":"introdusing hints for ssr cases"}},{"before":"030c6cb2a61aaba90d1dbfab5b0e418a829fbdf3","after":"ef80113cb3987ecdbb0a916f57d7bcfa9c06d4f3","ref":"refs/heads/master","pushedAt":"2024-03-21T16:13:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"volodeyka","name":"Vladimir Gladshtein","path":"/volodeyka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55004725?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"367f9c5c27a3cdfeb5cb5581e56987f2af168691","after":"030c6cb2a61aaba90d1dbfab5b0e418a829fbdf3","ref":"refs/heads/master","pushedAt":"2024-03-21T11:00:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"volodeyka","name":"Vladimir Gladshtein","path":"/volodeyka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55004725?s=80&v=4"},"commit":{"message":"fix doc","shortMessageHtmlLink":"fix doc"}},{"before":"9511996178751068abf2e3471bf40a58c78eb322","after":"367f9c5c27a3cdfeb5cb5581e56987f2af168691","ref":"refs/heads/master","pushedAt":"2024-03-21T11:00:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"volodeyka","name":"Vladimir Gladshtein","path":"/volodeyka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55004725?s=80&v=4"},"commit":{"message":"fix doc","shortMessageHtmlLink":"fix doc"}},{"before":"9509b4ef905d8502c8954df2569128e6aaed82b2","after":"9511996178751068abf2e3471bf40a58c78eb322","ref":"refs/heads/master","pushedAt":"2024-03-21T10:47:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"volodeyka","name":"Vladimir Gladshtein","path":"/volodeyka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55004725?s=80&v=4"},"commit":{"message":"fix master","shortMessageHtmlLink":"fix master"}},{"before":"a00ae5cf71fca23208b610f2dfa242c302727b8d","after":"9509b4ef905d8502c8954df2569128e6aaed82b2","ref":"refs/heads/master","pushedAt":"2024-03-21T10:44:39.000Z","pushType":"push","commitsCount":26,"pusher":{"login":"volodeyka","name":"Vladimir Gladshtein","path":"/volodeyka","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/55004725?s=80&v=4"},"commit":{"message":"fix master","shortMessageHtmlLink":"fix master"}},{"before":"2d92db71adeaa89baac19657d7fd8e861f1b3d94","after":"f2c343cc6ca3b282082f433b88eaa70098a8fa3d","ref":"refs/heads/itp24","pushedAt":"2024-03-19T07:47:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"dranov","name":"George Pîrlea","path":"/dranov","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1622998?s=80&v=4"},"commit":{"message":"Bump to v4.7.0-rc2","shortMessageHtmlLink":"Bump to v4.7.0-rc2"}},{"before":"6955121ec50e90767bc3fda77acd0e951ab4e518","after":"2d92db71adeaa89baac19657d7fd8e861f1b3d94","ref":"refs/heads/itp24","pushedAt":"2024-03-19T07:32:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ilyasergey","name":"Ilya Sergey","path":"/ilyasergey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/161937?s=80&v=4"},"commit":{"message":"revert","shortMessageHtmlLink":"revert"}},{"before":"24e94c7e96290785f2ed88c595339f4597f5b358","after":"6955121ec50e90767bc3fda77acd0e951ab4e518","ref":"refs/heads/itp24","pushedAt":"2024-03-19T07:26:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ilyasergey","name":"Ilya Sergey","path":"/ilyasergey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/161937?s=80&v=4"},"commit":{"message":"fixing mathlib version","shortMessageHtmlLink":"fixing mathlib version"}},{"before":"c7b42ab48ad228f2c9cea3c97637a963b5c384ea","after":"a00ae5cf71fca23208b610f2dfa242c302727b8d","ref":"refs/heads/master","pushedAt":"2024-03-19T07:25:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ilyasergey","name":"Ilya Sergey","path":"/ilyasergey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/161937?s=80&v=4"},"commit":{"message":"Create LICENSE","shortMessageHtmlLink":"Create LICENSE"}},{"before":"8502f0306484f24ccd2fc98f4b51f3ce349c7e79","after":"24e94c7e96290785f2ed88c595339f4597f5b358","ref":"refs/heads/itp24","pushedAt":"2024-03-19T07:24:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ilyasergey","name":"Ilya Sergey","path":"/ilyasergey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/161937?s=80&v=4"},"commit":{"message":"adding license","shortMessageHtmlLink":"adding license"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xM1QwNjo1MTo0Mi4wMDAwMDBazwAAAAS1KfP3","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xM1QwNjo1MTo0Mi4wMDAwMDBazwAAAAS1KfP3","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMy0xOVQwNzoyNDo1MS4wMDAwMDBazwAAAAQZTqcu"}},"title":"Activity · verse-lab/lean-ssr"}