Testing a bug in git extensions