> On May 23, 2019, at 2:23 PM, Kevin Rushforth <[email protected]> > wrote: > > You need to be a 'jdk' Project Committer [1] in order to push to any repo in > the jdk Project, including the sandbox. > > -- Kevin > > [1] https://openjdk.java.net/census#jdk
Yep, that’ll do it. Thanks!
