JEPs sources? [was: Re: Proposal: Modernizing the OpenJDK.org Website Design & User Experience]

[some-java-user-99206970363698485155 at vodafonemail.de]

This recently came up on another OpenJDK mailing list: 
https://mail.openjdk.org/pipermail/discuss/2025-July/006522.html
See also the last message of that thread: 
https://mail.openjdk.org/pipermail/discuss/2025-July/006525.html

So it seems there is no dedicated repository for JEPs anymore.

> Hello!
> Just a quick question - where are the sources of all JEP documents 
> (from https://openjdk.org/jeps/*)?
>
> Sidebar points to two places:
> 1) HG, which lists all the projects (https://hg.openjdk.org/) and it 
> has "jep" (https://hg.openjdk.org/jep) but it's labeled as "R/O archive"
> 2) github, but searching for JEP repository yelds 0 results 
> (https://github.com/openjdk/?q=jep)
>
> I'd appreciate any pointers :)
>
> Wojtek