{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":325645198,"defaultBranch":"main","name":"lean.nvim","ownerLogin":"Julian","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-12-30T20:48:01.000Z","ownerAvatar":"https://github.com/avatars/u/329822?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1726189283.0","currentOid":""},"activityList":{"items":[{"before":"c09bb13b2862761bc6537c9e1847dccc5c4d24ba","after":"74e3bf73403d78b3e1696ee4c483920f4ca0313b","ref":"refs/heads/main","pushedAt":"2024-09-13T01:01:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://github.com/avatars/u/329822?s=80&v=4"},"commit":{"message":"Less manual path munging in the tests.","shortMessageHtmlLink":"Less manual path munging in the tests."}},{"before":null,"after":"829a28cab87261c898c62e31cd84d9840f895361","ref":"refs/heads/wip-jump-to-core","pushedAt":"2024-09-13T01:01:23.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://github.com/avatars/u/329822?s=80&v=4"},"commit":{"message":"I have vague recollections this didn't work last time either :/","shortMessageHtmlLink":"I have vague recollections this didn't work last time either :/"}},{"before":"284668a73fef2d1bea7c36616a97dfb3a0b15b26","after":"c09bb13b2862761bc6537c9e1847dccc5c4d24ba","ref":"refs/heads/main","pushedAt":"2024-09-12T19:23:41.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://github.com/avatars/u/329822?s=80&v=4"},"commit":{"message":"Kill it entirely, one fewer thing only used in tests.","shortMessageHtmlLink":"Kill it entirely, one fewer thing only used in tests."}},{"before":"47578d6a4008f4bf09803fa7bc0a4152f60ed62f","after":"284668a73fef2d1bea7c36616a97dfb3a0b15b26","ref":"refs/heads/main","pushedAt":"2024-09-12T18:35:34.000Z","pushType":"push","commitsCount":20,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://github.com/avatars/u/329822?s=80&v=4"},"commit":{"message":"Make the same progress helper use vim.iter.","shortMessageHtmlLink":"Make the same progress helper use vim.iter."}},{"before":"d89d027d5d0aecbb3c90e736d0b368e870cdf157","after":"47578d6a4008f4bf09803fa7bc0a4152f60ed62f","ref":"refs/heads/main","pushedAt":"2024-09-11T02:52:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://github.com/avatars/in/15368?s=80&v=4"},"commit":{"message":"Sync abbreviations with the VSCode definitions","shortMessageHtmlLink":"Sync abbreviations with the VSCode definitions"}},{"before":"6b2d3c411a83610b86b6617fe0bd1b17f14a594a","after":null,"ref":"refs/heads/no-errors-when-closed","pushedAt":"2024-09-04T16:10:05.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://github.com/avatars/u/329822?s=80&v=4"}},{"before":"785664b56ebb0082738ae6cd10914053112e424e","after":null,"ref":"refs/heads/trim","pushedAt":"2024-09-04T16:07:26.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://github.com/avatars/u/329822?s=80&v=4"}},{"before":"be800b8ba2b2b31d27c88e40637a364b33fd33bc","after":null,"ref":"refs/heads/no-1-goal","pushedAt":"2024-09-04T16:07:03.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://github.com/avatars/u/329822?s=80&v=4"}},{"before":"9e22a1374f1ecce5e1b9c0dc6bd0ac73620dc82f","after":null,"ref":"refs/heads/reposition-redux","pushedAt":"2024-09-04T16:05:21.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://github.com/avatars/u/329822?s=80&v=4"}},{"before":"6f671fca22a4400f4ab8335c8831c2c68de95fb8","after":null,"ref":"refs/heads/hop-nvim-integration","pushedAt":"2024-09-04T16:04:09.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://github.com/avatars/u/329822?s=80&v=4"}},{"before":null,"after":"724b8441fa381d04e6474ed79a487182913238b2","ref":"refs/heads/maybe-fixed-size","pushedAt":"2024-09-04T16:00:24.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://github.com/avatars/u/329822?s=80&v=4"},"commit":{"message":"Allow not fixing the infoview window dimensions.","shortMessageHtmlLink":"Allow not fixing the infoview window dimensions."}},{"before":null,"after":"a1eae24281726218881a7bdac2120bde4ffe70be","ref":"refs/heads/filter-hypotheses","pushedAt":"2024-09-04T15:54:31.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://github.com/avatars/u/329822?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":null,"after":"ad2fca75151f90e6bb4d203d652b18262edd7ec5","ref":"refs/heads/remove-ui-params","pushedAt":"2024-09-04T15:52:15.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://github.com/avatars/u/329822?s=80&v=4"},"commit":{"message":"Try replacing UIParams with normal TextDocumentPositionParams.","shortMessageHtmlLink":"Try replacing UIParams with normal TextDocumentPositionParams."}},{"before":null,"after":"3548214471ca6b44b6c1b0bf1fc936f4fa9cb183","ref":"refs/heads/abbreviations-attach","pushedAt":"2024-09-04T15:51:32.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://github.com/avatars/u/329822?s=80&v=4"},"commit":{"message":"Add an alternate way to enable abbreviations in other filetypes / buffers.","shortMessageHtmlLink":"Add an alternate way to enable abbreviations in other filetypes / buf…"}},{"before":"45a3a5b83a40d1a0b41380d8995cb008b7df56aa","after":"d89d027d5d0aecbb3c90e736d0b368e870cdf157","ref":"refs/heads/main","pushedAt":"2024-09-04T15:50:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://github.com/avatars/u/329822?s=80&v=4"},"commit":{"message":"Bump the Lean versions in CI.","shortMessageHtmlLink":"Bump the Lean versions in CI."}},{"before":"45a3a5b83a40d1a0b41380d8995cb008b7df56aa","after":"b829054ac734f20e71445a222b0a8fa89c28957c","ref":"refs/heads/custom-widget-include-source","pushedAt":"2024-09-04T15:47:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://github.com/avatars/u/329822?s=80&v=4"},"commit":{"message":"Include source for custom widgets we're reimplementing.","shortMessageHtmlLink":"Include source for custom widgets we're reimplementing."}},{"before":null,"after":"45a3a5b83a40d1a0b41380d8995cb008b7df56aa","ref":"refs/heads/custom-widget-include-source","pushedAt":"2024-09-04T15:44:58.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://github.com/avatars/u/329822?s=80&v=4"},"commit":{"message":"Style.","shortMessageHtmlLink":"Style."}},{"before":null,"after":"34fd70ee9a0a8c643e07fa330b631a9581b03f9f","ref":"refs/heads/rw-switch","pushedAt":"2024-09-04T15:42:58.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://github.com/avatars/u/329822?s=80&v=4"},"commit":{"message":"Add a switch for swapping the rewrite direction of lemmas.\n\nI have no idea why I can't get all these tests to pass, somehow the\nregex isn't matching only all previous elements.","shortMessageHtmlLink":"Add a switch for swapping the rewrite direction of lemmas."}},{"before":null,"after":"524555bda39653ab248a980811d35dc11528688c","ref":"refs/heads/nio","pushedAt":"2024-09-04T15:41:57.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://github.com/avatars/u/329822?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":"02a2db06d99c008c399eed9124ff1009400264b0","after":"45a3a5b83a40d1a0b41380d8995cb008b7df56aa","ref":"refs/heads/main","pushedAt":"2024-09-04T01:16:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://github.com/avatars/u/329822?s=80&v=4"},"commit":{"message":"Style.","shortMessageHtmlLink":"Style."}},{"before":"b2cf64feca88d1921b97096a638fd5e1f5635c0b","after":"02a2db06d99c008c399eed9124ff1009400264b0","ref":"refs/heads/main","pushedAt":"2024-09-03T18:46:07.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://github.com/avatars/u/329822?s=80&v=4"},"commit":{"message":"Why was this on _G again?","shortMessageHtmlLink":"Why was this on _G again?"}},{"before":"351f1664bf21ba112b92c63dfccf80d8ab914246","after":"b2cf64feca88d1921b97096a638fd5e1f5635c0b","ref":"refs/heads/main","pushedAt":"2024-09-03T16:53:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://github.com/avatars/u/329822?s=80&v=4"},"commit":{"message":"Minor simplification now that we have just one project fixture.","shortMessageHtmlLink":"Minor simplification now that we have just one project fixture."}},{"before":"4b8187bdf8c834a0f95e566f5fbd32f3a2e1d347","after":"351f1664bf21ba112b92c63dfccf80d8ab914246","ref":"refs/heads/main","pushedAt":"2024-08-29T17:42:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://github.com/avatars/u/329822?s=80&v=4"},"commit":{"message":"Fix a funny sequencing/off-by-one error in our satellite progress bars.\n\nThis would cause us to consider the last segment of a file unprocessed\nin the bar until a second update happened, e.g. via a cursor move.\n\nInstead we should have been doing the update / firing the autocmd\n*after* we update our processing state.","shortMessageHtmlLink":"Fix a funny sequencing/off-by-one error in our satellite progress bars."}},{"before":"881eeefb75edbbc3ac656c235a5ef7da50eed541","after":"4b8187bdf8c834a0f95e566f5fbd32f3a2e1d347","ref":"refs/heads/main","pushedAt":"2024-08-29T15:46:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://github.com/avatars/u/329822?s=80&v=4"},"commit":{"message":"Also check for supported neovim version in the health check.","shortMessageHtmlLink":"Also check for supported neovim version in the health check."}},{"before":"8dc3838f16c52a6e35d1fb65fd5eb29eb2aa39a8","after":"881eeefb75edbbc3ac656c235a5ef7da50eed541","ref":"refs/heads/main","pushedAt":"2024-08-29T13:32:36.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://github.com/avatars/u/329822?s=80&v=4"},"commit":{"message":"Let stylua reformat.\n\nSome is uglier. Such is life.","shortMessageHtmlLink":"Let stylua reformat."}},{"before":"3e5cd7562d09650e7916c28735a86dc93578f3a3","after":"521399aaaaf91a63752e1b96fc4a7870669ffe01","ref":"refs/heads/lsp-experiments","pushedAt":"2024-08-28T01:07:13.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://github.com/avatars/u/329822?s=80&v=4"},"commit":{"message":"Add a test which doesn't work. I have no idea why yet.","shortMessageHtmlLink":"Add a test which doesn't work. I have no idea why yet."}},{"before":"a9b5a9069608d1c40ec6ffb297992d436cc06e72","after":"8dc3838f16c52a6e35d1fb65fd5eb29eb2aa39a8","ref":"refs/heads/main","pushedAt":"2024-08-27T16:29:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://github.com/avatars/u/329822?s=80&v=4"},"commit":{"message":"Add a manifest to get Lake to stop warning.","shortMessageHtmlLink":"Add a manifest to get Lake to stop warning."}},{"before":"7de14969d8ee03436d78485fb8b2e1ac2f059c93","after":"a9b5a9069608d1c40ec6ffb297992d436cc06e72","ref":"refs/heads/main","pushedAt":"2024-08-26T16:44:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://github.com/avatars/u/329822?s=80&v=4"},"commit":{"message":"Bump the Lean versions in CI.","shortMessageHtmlLink":"Bump the Lean versions in CI."}},{"before":"40e81f04fb845bc3666ed6b1aaf87a9a10cca9e4","after":"7de14969d8ee03436d78485fb8b2e1ac2f059c93","ref":"refs/heads/main","pushedAt":"2024-08-26T16:04:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://github.com/avatars/u/329822?s=80&v=4"},"commit":{"message":"Add a current_cursor assertion.","shortMessageHtmlLink":"Add a current_cursor assertion."}},{"before":"9fa7d684ac26691802e8a223ec3aca0a975ef069","after":"40e81f04fb845bc3666ed6b1aaf87a9a10cca9e4","ref":"refs/heads/main","pushedAt":"2024-08-25T17:18:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://github.com/avatars/u/329822?s=80&v=4"},"commit":{"message":"Minor notify() tweak for loogle telescoping.\n\nnotify.nvim supports titles (so use that).\n\nFor other notifiers, this should basically just get ignored.","shortMessageHtmlLink":"Minor notify() tweak for loogle telescoping."}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEtPnobAA","startCursor":null,"endCursor":null}},"title":"Activity · Julian/lean.nvim"}