Saturday, August 07, 2021

Git clone to replace a dead repo

A network machine hosting the git repo was dead.

The checkout still exists in local.

Setup a new machine, planning to use it as the new host for repo.



ssh  user@remote

cd /path/to/allprojects/root

git init --bare new_proj.git

exit


# at local

git remote set-url origin  user@remote:/path/to/allprojects/root/new_proj.git

git push --all origin



Labels: , , ,

0 Comments:

Post a Comment

Subscribe to Post Comments [Atom]

<< Home