The first repository is on server_A, there is server B and C got it’s clone, and commit/push a few to original server_A. Then, server_A down. From server_C, How to push to server_B instead?
Git is designed for this kind of condition. But I found many terms and options in “git help remote“, they are branches, masters, heads, tags, urls, merge mirrors and mores. A line of command for this condition would be helpful, thank you.
I’d suggest to add a second remote url to the repository of server_C. Go into the folder that contains your repository on server_C. Then execute
and then you can push changes: