On Tue, 17 Nov 2020 22:12:19 GMT, Jim Laskey <jlas...@openjdk.org> wrote:
>> @kevinrushforth What is the recommended approach to remove the doc >> edit/commit? > > javadoc can be found at > http://cr.openjdk.java.net/~jlaskey/prng/doc/api/java.base/java/util/random/package-summary.html Presuming your master branch is in sync with the upstream jdk repo, something like the following: git checkout master -- doc git add doc git commit -m "restore doc files" ------------- PR: https://git.openjdk.java.net/jdk/pull/1273