Re: [petsc-dev] petsc-dev on bitbucket

I'm sure Jed (or Matt in his prime) could have run over to IIT and restarted the machine in less time than this :-)

Sure, and like everybody else they would have had to wait outside until they had keys :-)