also, what is the complete set of steps to rename an existing remote vault and also its github repo?