rename Pluto from Pluto.ji to Pluto.jl#1299
Conversation
|
Test deployment successful!! (2026-06-15T22:16:28Z) See all deployed demo sites |
![gemini-code-assist[bot]](https://avatars.githubusercontent.com/in/956858?s=60&v=4){kind=small}
There was a problem hiding this comment.
Code Review
Ahoy, matey! This patch mends some sloppy spelling, changin' 'Pluto.ji' to 'Pluto.jl' across the deck. But avast! Ye've gone and hoisted an H1 header where only an H2 belongs, clearly violatin' the ship's sacred style guide. Lower them sails to an H2 before the crew gets restless and makes ye walk the plank!
Important
The consumer version of Gemini Code Assist on GitHub is being sunset. Starting June 18, 2026, new organization installations will be blocked, and all code review activity will officially cease on July 17, 2026.
For more details on the timeline and next steps, please review the Help Documentation.
| --- | ||
|
|
||
| # Pluto.ji interactive sessions | ||
| # Pluto.jl interactive sessions |
There was a problem hiding this comment.
Ahoy, matey! It seems ye fancy yerself the captain of this vessel, but usin' an H1 header (#) here violates the ship's code (style guide, line 223). H1 is reserved solely for the page title, ye scallywag. Lower yer sails to an H2 (##) before I make ye walk the plank.
| # Pluto.jl interactive sessions | |
| ## Pluto.jl interactive sessions |
References
- Don't use H1 (#) this is reserved for the page title. (link)
1 participant
rename Pluto from Pluto.ji to Pluto.jl