It is really simple actually. Simply call the following command:
git remote add <ALIAS> <GIT_URL_SSH>
To then push it is as simple as git push <ALIAS>.
I use this to keep my repository in HuggingFace Spaces and GitHub at the same time.
That’s it!
Hampus Londögård
February 18, 2024
It is really simple actually. Simply call the following command:
git remote add <ALIAS> <GIT_URL_SSH>
To then push it is as simple as git push <ALIAS>.
I use this to keep my repository in HuggingFace Spaces and GitHub at the same time.
That’s it!