pin lsp to commit a71506e

src/app.py

@@ -45,9 +45,9 @@ def _init_submodule() -> None:
         if git_modules.exists():
             shutil.rmtree(str(git_modules), ignore_errors=True)
 
-        # GitHub serves a tarball of any branch at this URL.
-        # Plain HTTPS download, no git protocol → much more reliable.
-        branch      = "0412_train"
+        # GitHub serves a tarball of any branch/tag/SHA at this URL.
+        # Pinned to a specific commit SHA so future lsp changes don't break us.
+        branch      = "a71506e3b1fa74fa3427f8ab674fa68420ca42da"
         tarball_url = f"https://api.github.com/repos/batu-el/lsp/tarball/{branch}"
         tmp_tar     = Path("/tmp/lsp.tar.gz")
         tmp_extract = Path("/tmp/lsp_extract")