On Wed, 9 Aug 2023 12:18:08 GMT, Jesse Glick <d...@openjdk.org> wrote:
>> @jaikiran in >> https://github.com/openjdk/jdk/pull/12871#issuecomment-1612310113 pointed me >> to a resource I had not previously found. https://openjdk.org/contribute is >> fine at a high level but still says things like >> >>> When your change is ready, send a message to the appropriate development >>> list… >> >> which clearly predates Skara, and does not apparently link to anything more >> current. Whereas this >> https://github.com/openjdk/jdk/blob/master/doc/building.md is thorough and >> discoverable, finding accurate guidelines for proposing pull requests was >> tough. > > Jesse Glick has updated the pull request with a new target base due to a > merge or a rebase. The incremental webrev excludes the unrelated changes > brought in by the merge/rebase. The pull request contains four additional > commits since the last revision: > > - Making `building.md` also link only to the guide > - Linking only to the guide, as suggested by @JesperIRL: > https://github.com/openjdk/jdk/pull/14716#issuecomment-1670908305 > - Merge branch 'master' of https://github.com/openjdk/jdk into patch-1 > - 8312882: Update the CONTRIBUTING.md with pointers to lifecycle of a PR doc/building.md line 2037: > 2035: The official place to start is the [OpenJDK Developers’ > Guide](https://openjdk.org/guide/). > 2036: > 2037: ## Editing this document (I tried `make update-build-docs` as suggested, but this produced a massive diff in `building.html` as well as in several other HTML files. Suggest deleting these, or using GitHub Actions to keep them up to date with Markdown.) ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/14716#discussion_r1288389758