[Development] pushes to gerrit failing

Oswald Buddenhagen oswald.buddenhagen at nokia.com
Wed Jun 6 11:54:16 CEST 2012


On Wed, Jun 06, 2012 at 09:03:46AM +0200, ext Thiago Macieira wrote:
> Yeah, I broke it yesterday somehow creating a topic branch. I got a database 
> error when pushing and let Matias know immediately, but I guess he had already 
> left for the day.
> 
we run periodic prunes, which matches the situation in the blog post.
it would seem that jgit lacks some locking, so a push coinciding with
the prune in just the wrong moment can mess up things royally.
we are working on avoiding the need to prune.



More information about the Development mailing list