{"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://avatars.githubusercontent.com/u/329822?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1726325442.0","currentOid":""},"activityList":{"items":[{"before":"fe10bd6be39bff9c24b81696fd413c6e8cf14fec","after":"1bbb169f2218fc854dc5a5f78892e13773751b58","ref":"refs/heads/main","pushedAt":"2024-09-21T19:43:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/329822?s=80&v=4"},"commit":{"message":"One more README logo tweak...\n\nThough it looks like GitHub renders the figure directive similarly wrong.","shortMessageHtmlLink":"One more README logo tweak..."}},{"before":"5ad3bd8e2228c89344879b349ac3e220b4771ad9","after":"fe10bd6be39bff9c24b81696fd413c6e8cf14fec","ref":"refs/heads/main","pushedAt":"2024-09-21T19:40:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/329822?s=80&v=4"},"commit":{"message":"GitHub appears not to respect the alignment, so move the logo down.","shortMessageHtmlLink":"GitHub appears not to respect the alignment, so move the logo down."}},{"before":"23dd408b1a73bf77c48595a7739afd26ef757846","after":"5ad3bd8e2228c89344879b349ac3e220b4771ad9","ref":"refs/heads/main","pushedAt":"2024-09-21T19:39:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/329822?s=80&v=4"},"commit":{"message":"A crudely made logo is better than no logo, right?","shortMessageHtmlLink":"A crudely made logo is better than no logo, right?"}},{"before":"76ed4456e15e626da9d71f74633387ffb902892b","after":"23dd408b1a73bf77c48595a7739afd26ef757846","ref":"refs/heads/main","pushedAt":"2024-09-20T02:33:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/329822?s=80&v=4"},"commit":{"message":"Switch properly between simpa and simpa? as well.","shortMessageHtmlLink":"Switch properly between simpa and simpa? as well."}},{"before":"84040904cf207c62c65d1db713f76b654e6e3f3d","after":"76ed4456e15e626da9d71f74633387ffb902892b","ref":"refs/heads/main","pushedAt":"2024-09-19T19:05:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/329822?s=80&v=4"},"commit":{"message":"Fail silently when no buffer is found for updates.\n\nThis was changed (recently) in 131344b and I can now successfully\ntrigger the error by doing a bunch of edits and quitting before Lean\nfinishes thinking.\n\nGiven:\n\n    - I'm not sure when we actually care about this yet\n    - this was silently doing nothing for a bit anyhow\n\nit seems safer to fail silently until this is refactored.","shortMessageHtmlLink":"Fail silently when no buffer is found for updates."}},{"before":"3b672460d1dae7396dfe7ec5245ab8688c753d5d","after":"84040904cf207c62c65d1db713f76b654e6e3f3d","ref":"refs/heads/main","pushedAt":"2024-09-19T16:59:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/329822?s=80&v=4"},"commit":{"message":"Make :help lean work as well.","shortMessageHtmlLink":"Make :help lean work as well."}},{"before":"5f56ef31a3679615fc37258e07fd807c80e9eded","after":"3b672460d1dae7396dfe7ec5245ab8688c753d5d","ref":"refs/heads/main","pushedAt":"2024-09-19T16:55:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/329822?s=80&v=4"},"commit":{"message":"The docs action needs nvim now.","shortMessageHtmlLink":"The docs action needs nvim now."}},{"before":"ac2b988f329549ec093b9d47e834ac859e2b6c18","after":"5f56ef31a3679615fc37258e07fd807c80e9eded","ref":"refs/heads/main","pushedAt":"2024-09-19T16:49:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/329822?s=80&v=4"},"commit":{"message":"Third time a charm.","shortMessageHtmlLink":"Third time a charm."}},{"before":"fd3672342b2e21c1247073479414fb6dcb8f5392","after":"ac2b988f329549ec093b9d47e834ac859e2b6c18","ref":"refs/heads/main","pushedAt":"2024-09-19T16:48:21.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/329822?s=80&v=4"},"commit":{"message":"Fix the other duplicate tag, and here's our lint.\n\nWe want to rebuild tags on docs updates.","shortMessageHtmlLink":"Fix the other duplicate tag, and here's our lint."}},{"before":"072b71d74915b81ffb8f67c930eb4709e659cbc5","after":"fd3672342b2e21c1247073479414fb6dcb8f5392","ref":"refs/heads/main","pushedAt":"2024-09-19T14:22:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/329822?s=80&v=4"},"commit":{"message":"Whoops, fix the doubled TOC in the docs.\n\nWill have to add some linter here.","shortMessageHtmlLink":"Whoops, fix the doubled TOC in the docs."}},{"before":"2bbd5c9cd38282e3c214bd93ae3f98a00ec5a6c4","after":"072b71d74915b81ffb8f67c930eb4709e659cbc5","ref":"refs/heads/main","pushedAt":"2024-09-19T12:04:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/329822?s=80&v=4"},"commit":{"message":"One more place we can kill .setup now.","shortMessageHtmlLink":"One more place we can kill .setup now."}},{"before":"514c3e7432c78dbe18d668fcf983b9311aa6d558","after":"6d5d695217625a71d16f11cc43788935028c4be2","ref":"refs/heads/abbreviations-attach","pushedAt":"2024-09-19T12:04:05.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/329822?s=80&v=4"},"commit":{"message":"Typing for some of the abbreviation config.","shortMessageHtmlLink":"Typing for some of the abbreviation config."}},{"before":"d50d561fd885debac738f69e1c52b7e8a41b3d14","after":"2bbd5c9cd38282e3c214bd93ae3f98a00ec5a6c4","ref":"refs/heads/main","pushedAt":"2024-09-18T00:48:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Regenerate vimdocs","shortMessageHtmlLink":"Regenerate vimdocs"}},{"before":"131344b64595d095f6aa6f006293197f5a86a000","after":"d50d561fd885debac738f69e1c52b7e8a41b3d14","ref":"refs/heads/main","pushedAt":"2024-09-18T00:47:49.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/329822?s=80&v=4"},"commit":{"message":"Create all commands in one spot / kill commands.enable.","shortMessageHtmlLink":"Create all commands in one spot / kill commands.enable."}},{"before":"d98ff56f59535bfa98d4ac1128cb53d18757529f","after":"131344b64595d095f6aa6f006293197f5a86a000","ref":"refs/heads/main","pushedAt":"2024-09-18T00:17:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/329822?s=80&v=4"},"commit":{"message":"Fix a vestige from pre-using uri_to_bufnr.\n\nThis will never be -1, but the intention is when we didn't find the\nbuffer we were supposed to.","shortMessageHtmlLink":"Fix a vestige from pre-using uri_to_bufnr."}},{"before":"f88d5377745c47a480cf2b1657eae9fe2691187c","after":"514c3e7432c78dbe18d668fcf983b9311aa6d558","ref":"refs/heads/abbreviations-attach","pushedAt":"2024-09-17T23:28:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Regenerate vimdocs","shortMessageHtmlLink":"Regenerate vimdocs"}},{"before":"3548214471ca6b44b6c1b0bf1fc936f4fa9cb183","after":"f88d5377745c47a480cf2b1657eae9fe2691187c","ref":"refs/heads/abbreviations-attach","pushedAt":"2024-09-17T23:28:41.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/329822?s=80&v=4"},"commit":{"message":"Attach abbreviatiosn in the ftplugin rather than an autocmd.","shortMessageHtmlLink":"Attach abbreviatiosn in the ftplugin rather than an autocmd."}},{"before":"50d9e2f50fa3248306340c2ad219b783a1df8d24","after":"d98ff56f59535bfa98d4ac1128cb53d18757529f","ref":"refs/heads/main","pushedAt":"2024-09-17T22:11:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Regenerate vimdocs","shortMessageHtmlLink":"Regenerate vimdocs"}},{"before":"b02b14793dc36cccbd0570cdbe115d2b1df99d7f","after":"50d9e2f50fa3248306340c2ad219b783a1df8d24","ref":"refs/heads/main","pushedAt":"2024-09-17T22:11:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/329822?s=80&v=4"},"commit":{"message":"Minimal level headings for all modules we document.","shortMessageHtmlLink":"Minimal level headings for all modules we document."}},{"before":"1b0cbaed4a8c1348a60414b270f73d016e288378","after":"b02b14793dc36cccbd0570cdbe115d2b1df99d7f","ref":"refs/heads/main","pushedAt":"2024-09-17T21:30:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/329822?s=80&v=4"},"commit":{"message":"Why are we ignoring the helptags?","shortMessageHtmlLink":"Why are we ignoring the helptags?"}},{"before":"3994129a57327802a3c38935c8ac74b652286b66","after":"1b0cbaed4a8c1348a60414b270f73d016e288378","ref":"refs/heads/main","pushedAt":"2024-09-17T21:27:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Regenerate vimdocs","shortMessageHtmlLink":"Regenerate vimdocs"}},{"before":"0a974158fb66c7dff949bf646d9415c29d4e09a6","after":"3994129a57327802a3c38935c8ac74b652286b66","ref":"refs/heads/main","pushedAt":"2024-09-17T21:27:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/329822?s=80&v=4"},"commit":{"message":"Add the rest of the existing modules.","shortMessageHtmlLink":"Add the rest of the existing modules."}},{"before":"e242af8ef5f78e2d1facd4155b78d1f88ca2caca","after":"0a974158fb66c7dff949bf646d9415c29d4e09a6","ref":"refs/heads/main","pushedAt":"2024-09-17T21:22:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/329822?s=80&v=4"},"commit":{"message":"Update the GH Action version.","shortMessageHtmlLink":"Update the GH Action version."}},{"before":"d4b75c882be74ccf9192943026afed1d59260f84","after":"e242af8ef5f78e2d1facd4155b78d1f88ca2caca","ref":"refs/heads/main","pushedAt":"2024-09-17T21:20:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Regenerate vimdocs","shortMessageHtmlLink":"Regenerate vimdocs"}},{"before":"184fbe7b41b83c1b146143feb6d6136c57b1f7c9","after":"d4b75c882be74ccf9192943026afed1d59260f84","ref":"refs/heads/main","pushedAt":"2024-09-17T21:20:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/329822?s=80&v=4"},"commit":{"message":"Does this fix the nonsense shell expansion issue only in GHA?\n\n*It works on my machine already*™™","shortMessageHtmlLink":"Does this fix the nonsense shell expansion issue only in GHA?"}},{"before":"530a75e2ae62ecbaa439d231ef295211fc75247a","after":"184fbe7b41b83c1b146143feb6d6136c57b1f7c9","ref":"refs/heads/main","pushedAt":"2024-09-17T21:14:01.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/329822?s=80&v=4"},"commit":{"message":"Try yet another way to autogenerate our vimdocs.","shortMessageHtmlLink":"Try yet another way to autogenerate our vimdocs."}},{"before":"a1eae24281726218881a7bdac2120bde4ffe70be","after":"82393885443451e55d320e39e5c59b30b953c0ac","ref":"refs/heads/filter-hypotheses","pushedAt":"2024-09-17T15:51:40.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/329822?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":"93bd81a1fcca7057d48e820e8fbf8b278046cfc6","after":"530a75e2ae62ecbaa439d231ef295211fc75247a","ref":"refs/heads/main","pushedAt":"2024-09-15T19:10:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/329822?s=80&v=4"},"commit":{"message":"Fix highlighting for matchit namespaces with french quotes.\n\nReally this test isn't sufficient because the issue was only\nhighlighting, not which line we'd jump to, but we can come back and beef\nup the test.","shortMessageHtmlLink":"Fix highlighting for matchit namespaces with french quotes."}},{"before":"74e3bf73403d78b3e1696ee4c483920f4ca0313b","after":"93bd81a1fcca7057d48e820e8fbf8b278046cfc6","ref":"refs/heads/main","pushedAt":"2024-09-15T18:42:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/329822?s=80&v=4"},"commit":{"message":"Add french quotes to matchpairs.","shortMessageHtmlLink":"Add french quotes to matchpairs."}},{"before":null,"after":"295b90e628cc959465a857ae10716018a6b85c65","ref":"refs/heads/no-lspconfig","pushedAt":"2024-09-14T14:50:42.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Julian","name":"Julian Berman","path":"/Julian","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/329822?s=80&v=4"},"commit":{"message":"Get rid of the lspconfig dependency.","shortMessageHtmlLink":"Get rid of the lspconfig dependency."}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMVQxOTo0Mzo1Mi4wMDAwMDBazwAAAAS82ysW","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMVQxOTo0Mzo1Mi4wMDAwMDBazwAAAAS82ysW","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xNFQxNDo1MDo0Mi4wMDAwMDBazwAAAAS2RYzR"}},"title":"Activity · Julian/lean.nvim"}