Even Less Exciting Times

I demonstrated the new repository to our research committee but it was all a bit of a letdown in the sense that they couldn't see any problems with moving to the new repository straight away. So all of a sudden the ball is back in our court, after having been waiting since the beginning of the summer.