build: commit a Gradle wrapper for the JetBrains plugin (#61)

* build: commit a Gradle wrapper for the JetBrains plugin

Gradle is not installed on the dev machine and never has been on PATH, but
`editors/jetbrains/` had no wrapper, so every release that needed
`gradle publishPlugin` had to re-acquire Gradle first. That cost time on 0.4.0
and again on 0.5.0, each time looking like the publish was blocked when it was
only the launcher that was missing.

The wrapper pins 8.12, the version the project has always built with, and
fetches it on first use. RELEASING.md and the plugin README now say
`./gradlew`, and RELEASING says why a bare `gradle` is the wrong reach.

Also records in the ledger that the JetBrains upload waits on moderation, so
the plugins API reporting the previous version is not a failed publish.

* build: pin the wrapper scripts' line endings

A committed `gradlew` with CRLF fails on Linux and macOS with a bad-interpreter
error, and the `.bat` wants the reverse. Both are correct in the index today;
these rules keep them that way regardless of a contributor's core.autocrlf, and
mark the wrapper jar binary so it is never line-ending converted.

Author: simontreanor

.gitattributes

@@ -3,3 +3,10 @@ editors/tree-sitter-pyfun/src/parser.c linguist-generated
 editors/tree-sitter-pyfun/src/tree_sitter/** linguist-generated
 editors/zed/grammars/** linguist-vendored
 editors/zed/*.wasm linguist-generated
+
+# The Gradle wrapper. `gradlew` is a POSIX shell script: committed with CRLF it
+# fails on Linux/macOS with a bad-interpreter error, so pin its endings. The
+# `.bat` is the reverse, and the jar must never be line-ending converted.
+editors/jetbrains/gradlew text eol=lf
+editors/jetbrains/gradlew.bat text eol=crlf
+editors/jetbrains/gradle/wrapper/gradle-wrapper.jar binary

RELEASING.md

@@ -23,8 +23,14 @@ that is fine or a broken install. Version numbers are cheap; that doubt is not.
      (https://marketplace.visualstudio.com/manage/publishers/pyfun — the CLI auth
      path is broken; do not fight it).
    - **Open VSX**: `npx ovsx publish <vsix> -p $OPEN_VSX_APIKEY`.
-   - **JetBrains**: `gradle publishPlugin` (needs `JETBRAINS_PERMANENT_TOKEN`;
-     JDK 21) — but see the acceptance gate below.
+   - **JetBrains**: `./gradlew publishPlugin` in `editors/jetbrains/` (needs
+     `JETBRAINS_PERMANENT_TOKEN` and JDK 21; the wrapper fetches Gradle itself,
+     so nothing has to be installed) — but see the acceptance gate below. The
+     upload then waits on JetBrains moderation, so the plugins API keeps
+     reporting the previous version for a while; that is not a failed publish.
+     **Use the wrapper, never a bare `gradle`** — Gradle is not installed on the
+     dev machine, and each release that reached for it lost time rediscovering
+     that.
 4. Verify: `pip install "pyfun-lang[jupyter]==X.Y.Z"` in a clean venv, then
    `pip install -U "pyfun-lang[jupyter]"` in the day-to-day Python env so the
    Jupyter kernel is not stranded on the previous compiler.

ROADMAP.md

@@ -334,10 +334,11 @@ registry (PR to zed-industries/extensions), and consider shipping Helix indent/t
   32915) is live (`editors/jetbrains/`, thin: file type + TextMate grammar + LSP4IJ wiring, free
   mode + legacy CE, 2024.2+). At **0.4.0** (2026-08-02, verified against the plugins API — the
   earlier "0.4.0 is not uploaded yet" note was stale, as the "awaiting moderation" one had been
-  before it; check the API rather than this line). **0.5.0 is owed.** Acceptance is granted, so
-  nothing gates it but the toolchain: `gradle publishPlugin` needs JDK 21 **and Gradle**, and
-  Gradle is not installed on the dev machine (there is no wrapper in `editors/jetbrains/`, so
-  `gradle` must come from PATH). Adding a Gradle wrapper would make this scriptable like Open VSX.
+  before it; check the API rather than this line). **0.5.0 uploaded 2026-08-02 and is awaiting
+  moderation** — the API lists approved versions only, so it will read 0.4.0 until that clears.
+  `editors/jetbrains/` now has a **committed Gradle wrapper**: `./gradlew publishPlugin` (JDK 21 +
+  `JETBRAINS_PERMANENT_TOKEN`) needs nothing installed, because Gradle is *not* on this machine and
+  two releases running lost time rediscovering that before reaching for a bare `gradle`.
 - **VS Code Marketplace** — accepted and live as `pyfun.pyfun`, at **0.4.0** (2026-08-02, verified
   against the gallery API; **0.5.0 is owed** — the vsix is built at
   `editors/vscode/pyfun-0.5.0.vsix` and attached to the GitHub release). The **only surface that cannot be scripted**: the vsix is uploaded by

editors/jetbrains/README.md

@@ -11,12 +11,13 @@ installing this plugin auto-installs LSP4IJ as a dependency.
 
 ## Build
 
-Requires JDK 21. From this directory:
+Requires JDK 21. Gradle itself does not need installing: the committed wrapper
+downloads the pinned version on first use. From this directory:
 
 ```bash
-gradle buildPlugin          # -> build/distributions/pyfun-jetbrains-<version>.zip
-gradle runIde               # launch a sandbox IDE with the plugin for testing
-gradle verifyPluginStructure
+./gradlew buildPlugin        # -> build/distributions/pyfun-jetbrains-<version>.zip
+./gradlew runIde             # launch a sandbox IDE with the plugin for testing
+./gradlew verifyPluginStructure
 ```
 
 ## Publish
@@ -27,4 +28,4 @@ gradle verifyPluginStructure
   select the zip, license **Apache-2.0**, category **Programming Language**.
   Moderation takes ~1–3 business days.
 - **Every later release**: bump `version` in `build.gradle.kts`, then
-  `JETBRAINS_PERMANENT_TOKEN=<token> gradle publishPlugin`.
+  `JETBRAINS_PERMANENT_TOKEN=<token> ./gradlew publishPlugin`.

editors/jetbrains/gradle/wrapper/gradle-wrapper.jar

@@ -0,0 +1,7 @@
+distributionBase=GRADLE_USER_HOME
+distributionPath=wrapper/dists
+distributionUrl=https\://services.gradle.org/distributions/gradle-8.12-bin.zip
+networkTimeout=10000
+validateDistributionUrl=true
+zipStoreBase=GRADLE_USER_HOME
+zipStorePath=wrapper/dists