Hi Iris, is it you who would have to make this repo read-only? I know you did it with our ppc repos. If so, could you please do it?
Thanks and best regards, Goetz. > -----Original Message----- > From: jdk7u-dev [mailto:jdk7u-dev-boun...@openjdk.java.net] On Behalf Of > Andrew Haley > Sent: Donnerstag, 16. Februar 2017 11:10 > To: jdk7u-dev@openjdk.java.net > Subject: Re: Make jdk7u-dev read-only > > On 16/02/17 07:39, Lindenmaier, Goetz wrote: > > > The repository jdk7u-dev seems to be unused. It did not receive a > > change since 2015/1/21. > > http://hg.openjdk.java.net/jdk7u/jdk7u-dev/ > > > > Should it be made read only? > > Yes, I suppose so. > > Andrew.