Assumi um sistema de uma empresa e estou desenvolvendo no workspace de um ex-colaborador, na hora que vou fazer um push ele pede a senha do mesmo. Qual o comando que eu possa trocar o usuário sem precisar fazer um clone e ter que configurar todo ambiente?