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."