Need help with OpenJDK sandbox branch creation

[Guy Steele]

Hi, sorry for wide distribution, but I am at my wits’ end and need help.

I have finished writing the code for the new JEP on "Enhanced pseudo-random number generators” (https://bugs.openjdk.java.net/browse/JDK-8193209) and am now trying to follow the instructions at

	https://cr.openjdk.java.net/~chegar/docs/sandbox.html

to treat a new branch "JDK-8193209-branch” to which to push this code for wider inspection.

Following item 5 of those instructions, I successfully cloned the repository http://hg.openjdk.java.net/jdk/sandbox and created the branch and did the dummy commit.  But the push on the last step is failing for reasons I don’t understand.  Here’s a transcript:

———————————————————————————
gls% hg push -b JDK-8193209-branch --new-branch
pushing to ssh://gls@hg.openjdk.java.net/jdk/sandbox
searching for changes
remote: abort: could not lock repository jdk/sandbox: Read-only file system
abort: unexpected response: empty string
———————————————————————————

Here is the version info for Mercurial (I downloaded the latest one, for MacOS, just yesterday):

———————————————————————————
gls% hg --version
Mercurial Distributed SCM (version 5.0)
(see https://mercurial-scm.org for more information)

Copyright (C) 2005-2019 Matt Mackall and others
This is free software; see the source for copying conditions. There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
———————————————————————————

Here are the contents of the file sandbox/.hg/hgrc on my local machine:

———————————————————————————
[paths]
default = http://hg.openjdk.java.net/jdk/sandbox
default-push = ssh://gls@hg.openjdk.java.net/jdk/sandbox
———————————————————————————

 I do have an ssh-agent running, and here is what ssh-add had to say:

———————————————————————————
gls% ssh-add
Identity added: /Users/gls/.ssh/id_rsa (/Users/gls/.ssh/id_rsa)
———————————————————————————

Here is what “hg outgoing” produces:

———————————————————————————
gls% hg outgoing
comparing with ssh://gls@hg.openjdk.java.net/jdk/sandbox
searching for changes
changeset:   56598:6a68d15c5569
branch:      JDK-8193209-branch
tag:         tip
parent:      56596:65b0b63d7f14
user:        Guy Steele <guy.steele at oracle.com>
date:        Wed May 22 16:15:51 2019 -0400
summary:     Initial changes for JDK-8193209
———————————————————————————

Please, does anyone have any clues for me?

—Guy