added repository source for mink extension