{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":653344081,"defaultBranch":"main","name":"LeanDojo","ownerLogin":"lean-dojo","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-06-13T22:04:26.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/136513911?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1723689152.0","currentOid":""},"activityList":{"items":[{"before":"7f66e93534107bc27e23d4269252c326154d8418","after":"fed54c2fe8f02838d961dc3002fae895c6c552e9","ref":"refs/heads/main","pushedAt":"2024-09-19T03:30:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"remove unnecessary line","shortMessageHtmlLink":"remove unnecessary line"}},{"before":"6db9fc7ba67c5cc55be9fa3dd55a1d6ed8809f34","after":"7f66e93534107bc27e23d4269252c326154d8418","ref":"refs/heads/main","pushedAt":"2024-09-18T14:53:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"minor update","shortMessageHtmlLink":"minor update"}},{"before":"cef522f1a2539271e1451402e7d99e39a1e17f6c","after":"6db9fc7ba67c5cc55be9fa3dd55a1d6ed8809f34","ref":"refs/heads/main","pushedAt":"2024-09-18T02:03:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"minor fix","shortMessageHtmlLink":"minor fix"}},{"before":"c1efbf66f64175c5a7562b7fdf8b348aa31ad084","after":"cef522f1a2539271e1451402e7d99e39a1e17f6c","ref":"refs/heads/main","pushedAt":"2024-09-18T01:56:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"minor fix","shortMessageHtmlLink":"minor fix"}},{"before":"6d0795aa6988c05308495352dcd36e7ff6862ed5","after":"c1efbf66f64175c5a7562b7fdf8b348aa31ad084","ref":"refs/heads/main","pushedAt":"2024-09-06T13:05:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":"8b7792a08fd5614b5e077de2dc4a81284f8c2d26","after":"6d0795aa6988c05308495352dcd36e7ff6862ed5","ref":"refs/heads/main","pushedAt":"2024-09-04T16:58:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"bugfix","shortMessageHtmlLink":"bugfix"}},{"before":"9b19df9bed2b7bf119866de8d297b9dc8aad5b55","after":"8b7792a08fd5614b5e077de2dc4a81284f8c2d26","ref":"refs/heads/main","pushedAt":"2024-09-03T04:08:43.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"Merge pull request #205 from realharryhero/main\n\n(minor edit) Specifying get_premise_definitions premise locations","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2501580982\" data-permission-text=\"Title is private\" data-url=\"https://github.com/lean-dojo/LeanDojo/issues/205\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/lean-dojo/LeanDojo/pull/205/hovercard\" href=\"https://github.com/lean-dojo/LeanDojo/pull/205\">#205</a> from realharryhero/main"}},{"before":"dfb5f31f3a2df6ee76601498b856fe3dd09ee360","after":"9f4d398c17fe6cb46ebc9906c8a06e7eff643ea0","ref":"refs/heads/dev","pushedAt":"2024-08-29T21:32:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":"ee58ed9e154d56c5604d96a9137dc76975af54d8","after":"9b19df9bed2b7bf119866de8d297b9dc8aad5b55","ref":"refs/heads/main","pushedAt":"2024-08-15T02:31:56.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"Merge pull request #198 from lean-dojo/dev\n\nminor bugfix","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2467208397\" data-permission-text=\"Title is private\" data-url=\"https://github.com/lean-dojo/LeanDojo/issues/198\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/lean-dojo/LeanDojo/pull/198/hovercard\" href=\"https://github.com/lean-dojo/LeanDojo/pull/198\">#198</a> from lean-dojo/dev"}},{"before":"dc755b92fa094329d202458aa2f689004f1ddb51","after":"dfb5f31f3a2df6ee76601498b856fe3dd09ee360","ref":"refs/heads/dev","pushedAt":"2024-08-15T02:30:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"minor bugfix","shortMessageHtmlLink":"minor bugfix"}},{"before":"b5c3b97b31d14343b3d9de9e6b19ee0d6d2537e1","after":"ee58ed9e154d56c5604d96a9137dc76975af54d8","ref":"refs/heads/main","pushedAt":"2024-08-14T17:38:50.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"Merge pull request #197 from lean-dojo/dev\n\nfix minor bug","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2466439052\" data-permission-text=\"Title is private\" data-url=\"https://github.com/lean-dojo/LeanDojo/issues/197\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/lean-dojo/LeanDojo/pull/197/hovercard\" href=\"https://github.com/lean-dojo/LeanDojo/pull/197\">#197</a> from lean-dojo/dev"}},{"before":"8896814bbed00062fb64cf492dcd39dc806610fd","after":"dc755b92fa094329d202458aa2f689004f1ddb51","ref":"refs/heads/dev","pushedAt":"2024-08-14T17:38:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"fix minor bug","shortMessageHtmlLink":"fix minor bug"}},{"before":"b9d2115beb98de1f1d2fa504b269d3d8a9fd744b","after":"b5c3b97b31d14343b3d9de9e6b19ee0d6d2537e1","ref":"refs/heads/main","pushedAt":"2024-08-11T21:15:56.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"Merge pull request #195 from lean-dojo/dev\n\nfix minor bugs","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2459764175\" data-permission-text=\"Title is private\" data-url=\"https://github.com/lean-dojo/LeanDojo/issues/195\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/lean-dojo/LeanDojo/pull/195/hovercard\" href=\"https://github.com/lean-dojo/LeanDojo/pull/195\">#195</a> from lean-dojo/dev"}},{"before":"297b96e6f544b4c8aed221994d3c85b4270cc877","after":"8896814bbed00062fb64cf492dcd39dc806610fd","ref":"refs/heads/dev","pushedAt":"2024-08-11T21:14:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"fix minor bugs","shortMessageHtmlLink":"fix minor bugs"}},{"before":"8134232fe7a1752caa51e72887b55c7db0ba9766","after":"b9d2115beb98de1f1d2fa504b269d3d8a9fd744b","ref":"refs/heads/main","pushedAt":"2024-08-06T02:20:08.000Z","pushType":"pr_merge","commitsCount":41,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"Merge pull request #192 from lean-dojo/dev\n\nIncorporate Recent Commits","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2438899655\" data-permission-text=\"Title is private\" data-url=\"https://github.com/lean-dojo/LeanDojo/issues/192\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/lean-dojo/LeanDojo/pull/192/hovercard\" href=\"https://github.com/lean-dojo/LeanDojo/pull/192\">#192</a> from lean-dojo/dev"}},{"before":"ddfe9c5bdb772c808634265c345e9cad6d71c0bf","after":"297b96e6f544b4c8aed221994d3c85b4270cc877","ref":"refs/heads/dev","pushedAt":"2024-08-06T02:20:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"minor edits","shortMessageHtmlLink":"minor edits"}},{"before":"e662bc5e1ba5a940ee3892f9f1995950deae7d4f","after":"ddfe9c5bdb772c808634265c345e9cad6d71c0bf","ref":"refs/heads/dev","pushedAt":"2024-08-05T20:08:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"update tests","shortMessageHtmlLink":"update tests"}},{"before":"777b3c38f5aa0eaa7e209570a5801d40d08264b4","after":"e662bc5e1ba5a940ee3892f9f1995950deae7d4f","ref":"refs/heads/dev","pushedAt":"2024-08-05T13:55:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"minor fix","shortMessageHtmlLink":"minor fix"}},{"before":"44742d97544e902b66db77fb1516f40a5a966560","after":"777b3c38f5aa0eaa7e209570a5801d40d08264b4","ref":"refs/heads/dev","pushedAt":"2024-08-05T13:27:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"fix some typing errors","shortMessageHtmlLink":"fix some typing errors"}},{"before":"819ed53bd04c577dc26735422d93030b8f67c4a0","after":"44742d97544e902b66db77fb1516f40a5a966560","ref":"refs/heads/dev","pushedAt":"2024-08-05T12:51:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"add @cache","shortMessageHtmlLink":"add @cache"}},{"before":"493d89026710f54faa59eb9970c51ff63f5011d5","after":"819ed53bd04c577dc26735422d93030b8f67c4a0","ref":"refs/heads/dev","pushedAt":"2024-08-05T02:11:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"format code","shortMessageHtmlLink":"format code"}},{"before":"0d387073de67bac95e21fb8ede4da9f806827b9e","after":"493d89026710f54faa59eb9970c51ff63f5011d5","ref":"refs/heads/dev","pushedAt":"2024-08-05T02:10:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"fix get_cache_dirname","shortMessageHtmlLink":"fix get_cache_dirname"}},{"before":"592f9b5b514c339b72c4e021b650204c29018aa5","after":"0d387073de67bac95e21fb8ede4da9f806827b9e","ref":"refs/heads/dev","pushedAt":"2024-08-05T02:08:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"minox fix","shortMessageHtmlLink":"minox fix"}},{"before":"897c6f1ad6d94f67ca6b11a9dce53f962537a6cf","after":"592f9b5b514c339b72c4e021b650204c29018aa5","ref":"refs/heads/dev","pushedAt":"2024-08-05T01:58:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"minor edits","shortMessageHtmlLink":"minor edits"}},{"before":"515d3613a0222f4c585b817332c7289775560bc2","after":"897c6f1ad6d94f67ca6b11a9dce53f962537a6cf","ref":"refs/heads/dev","pushedAt":"2024-08-05T00:57:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"minor edits to get_traced_repo_path","shortMessageHtmlLink":"minor edits to get_traced_repo_path"}},{"before":"43f770b4a2ab362671c59616f42ec0cd005e0428","after":"515d3613a0222f4c585b817332c7289775560bc2","ref":"refs/heads/dev","pushedAt":"2024-08-05T00:49:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"edit imports","shortMessageHtmlLink":"edit imports"}},{"before":"7adf0336af6f3f9273bceec307adffc1e813fb10","after":"43f770b4a2ab362671c59616f42ec0cd005e0428","ref":"refs/heads/dev","pushedAt":"2024-08-05T00:45:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"move _split_git_url","shortMessageHtmlLink":"move _split_git_url"}},{"before":"ad236945687ecaa443e966a51bb3b10e794e3734","after":"7adf0336af6f3f9273bceec307adffc1e813fb10","ref":"refs/heads/dev","pushedAt":"2024-08-05T00:30:05.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"minor cleanup","shortMessageHtmlLink":"minor cleanup"}},{"before":"672bacbb4b721ee9ef9e5ac6829aaa6832642036","after":"8134232fe7a1752caa51e72887b55c7db0ba9766","ref":"refs/heads/main","pushedAt":"2024-07-30T20:33:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"Update getting-started.rst","shortMessageHtmlLink":"Update getting-started.rst"}},{"before":"042452c7dfb263552ebe4f91743fce2353a74c0e","after":"672bacbb4b721ee9ef9e5ac6829aaa6832642036","ref":"refs/heads/main","pushedAt":"2024-07-30T20:32:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yangky11","name":"Kaiyu Yang","path":"/yangky11","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5431913?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xOVQwMzozMDoxMy4wMDAwMDBazwAAAAS6X3xZ","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0zMFQyMDozMjo0NC4wMDAwMDBazwAAAASNZP95"}},"title":"Activity · lean-dojo/LeanDojo"}