Does git extensions work?