I want to push a local repos to production even though they're named differently.