switch to TheMuppets vendor repos