New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
8278433: Use snippets in jdk.incubator.foreign documentation #6771
Conversation
|
Webrevs
|
Are differences in indentation between "before" and "after" intentional? |
Unrelated: this codebase could enjoy the inline version of the |
@FrauBoes This change now passes all automated pre-integration checks. After integration, the commit message for the final commit will be:
You can use pull request commands such as /summary, /contributor and /issue to adjust it as needed. At the time when this comment was updated there had been 26 new commits pushed to the
As there are no conflicts, your changes will automatically be rebased on top of these commits when integrating. If you prefer to avoid this automatic rebasing, please check the documentation for the /integrate command for further details.
|
I believe so.
Nice suggestion, thanks! |
Yes, there are a few places where I touched up the indentation. |
/integrate |
Going to push as commit 84baea7.
Your commit was automatically rebased without conflicts. |
This change replaces
<pre>{@code ...}</pre>
blocks with the new@snippet
tag. The change was applied to the panama-foreign repo with [1], now we bring it to the mainline. API doc (and Specdiff - not very informative) for reference [2].[1] https://bugs.openjdk.java.net/browse/JDK-8277945
[2] http://cr.openjdk.java.net/~jboes/webrevs/8278433
Progress
Issue
Reviewers
Reviewing
Using
git
Checkout this PR locally:
$ git fetch https://git.openjdk.java.net/jdk pull/6771/head:pull/6771
$ git checkout pull/6771
Update a local copy of the PR:
$ git checkout pull/6771
$ git pull https://git.openjdk.java.net/jdk pull/6771/head
Using Skara CLI tools
Checkout this PR locally:
$ git pr checkout 6771
View PR using the GUI difftool:
$ git pr show -t 6771
Using diff file
Download this PR as a diff file:
https://git.openjdk.java.net/jdk/pull/6771.diff