Follow-up Comment #5, sr #110378 (project administration): Since you have a git repository for your source all you need to do is to push it and publish it to Savannah git repository.
Let's assume you want "origin" to be Savannah. In that case delete any previous origin and set it again. Or choose a different name such as "upstream". Names are arbitrary. But for the traditional "origin" this would delete the previous and set a new one. And then push your repository there. git remote rename origin oldorigin # if existing git remote rm origin # if existing and want it removed Then add the new origin and push to it. git remote add origin ssh://t...@git.savannah.gnu.org/srv/git/superopt.git git push -u origin master If you are using a different branch than master for what you want to publish, such as "main" or whatever then substitute that in the above. And the same if using "upstream" or whatever instead of origin. Names are arbitrary. Then it is a good idea to test that all is well. I suggest doing a clone in another location as a verification step. These are three of the several possible alternate ways to clone. git clone ssh://t...@git.savannah.gnu.org/srv/git/superopt.git git clone https://git.savannah.gnu.org/git/superopt.git git clone git://git.savannah.gnu.org/superopt.git Let us know if this works for you. There is additional documentation in the https://savannah.nongnu.org/maintenance/UsingGit/ page. _______________________________________________________ Reply to this item at: <https://savannah.nongnu.org/support/?110378> _______________________________________________ Message sent via Savannah https://savannah.nongnu.org/
