disabled git repos addin for now, too late to figure it out