feat(lean3ls): do not use lspconfig.util

Author: TheRealLorenz

lsp/lean3ls.lua

@@ -14,8 +14,6 @@
 --- that plugin fully handles the setup of the Lean language server,
 --- and you shouldn't set up `lean3ls` both with it and `lspconfig`.
 
-local util = require 'lspconfig.util'
-
 return {
   cmd = { 'lean-language-server', '--stdio', '--', '-M', '4096', '-T', '100000' },
   filetypes = { 'lean3' },
@@ -32,11 +30,6 @@ return {
       end
     end
 
-    on_dir(
-      util.root_pattern 'leanpkg.toml'(fname)
-        or util.root_pattern 'leanpkg.path'(fname)
-        or stdlib_dir
-        or vim.fs.dirname(vim.fs.find('.git', { path = fname, upward = true })[1])
-    )
+    on_dir(vim.fs.root(bufnr, { 'leanpkg.toml', 'leanpkg.path' }) or stdlib_dir or vim.fs.root(bufnr, '.git'))
   end,
 }