9-dev is unlocked

[Kevin Rushforth]

8-dev is unlocked now. Thank you for your patience.

-- Kevin


Kevin Rushforth wrote:
> I have finished the white space cleanup for 9-dev, so it is unlocked 
> now. Thanks for Dave Hill for his excellent work on the script to find 
> and fix white space and file permission issues, and to Chien Yang and 
> Dave for their help in testing this.
>
> We are now "jcheck clean" as far as white space goes. We will run the 
> checkWhiteSpace script regularly to ensure that we stay that way. Here 
> is where you all come in.
>
> It is now the shared responsibility of all developers to ensure that 
> no bad white space creeps back into the repo. This means that you need 
> to run "gradle checkrepo" before you push. We will soon wire up that 
> task to the "gradle test" task so it will be even easier to spot.
>
> I will send out instructions on running jcheck later, but for now, 
> please use the checkWhiteSpace script either directly or via "gradle 
> checkrepo".
>
> Let me know if you have any questions.
>
> Thanks.
>
> -- Kevin
>