[sr #110378] request Git repo set up for GNU Superopt

[Bob Proulx]

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://ttn@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://ttn@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/