Re: About migrate from GitHub to Savannah

[John Arroyave G.]

Thanks a lot Andreas!

I'm going to summarize the steps here in case they help someone else:

   1. git clone --mirror https://github.com/unix4you2/practico.git
    (replace here for origin repo)
   2. git remote -v              (to see where is pointting)
   3. git remote rm origin   (to remove the origin in the local repo)
   4. git remote add origin
unix4you2@git.savannah.nongnu.org:/srv/git/practico.git
   (replace here for your user and destination repo in Savannah)
   5. git remote -v              (to check again our changes)
   6. git push origin --all     (to send all to Savannah)
   7. git push origin --tags  (to send the tags too)

Best regards,

<https://www.practico.org>




On Mon, Feb 21, 2022 at 9:29 AM Andreas Schwab <schwab@linux-m68k.org>
wrote:

> On Feb 20 2022, John Arroyave G. wrote:
>
> > We would like to migrate all the repo INCLUDING the history (commits,
> tags,
> > branches, etc) because we don't want to lose that.
>
> Just clone the repository as a mirror (git clone --mirror) from github,
> then push it (also with --mirror) to savannah.
>
> --
> Andreas Schwab, schwab@linux-m68k.org
> GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510  2552 DF73 E780 A9DA AEC1
> "And now for something completely different."
>