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 unix4y...@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 <sch...@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, sch...@linux-m68k.org > GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1 > "And now for something completely different." >
