Re: About migrate from GitHub to Savannah

[Marek Marecki]

Hi!

If you only care about the things Git tracks ie, the commits, tags,
branches, etc, then you don't have to worry. It is all in the Git
data files. You could even store it on a dumb SSH box with a --bare
repository.

It is the lock-in stuff (CI, issues, wiki) that may be difficult to
extract.

Good luck.

On 2022-02-21 05:12, John Arroyave G. wrote:

Hi there!

Does anybody knows how the migrate a repo from GitHub to our Savannah
project?

We would like to migrate all the repo INCLUDING the history (commits, tags,
branches, etc) because we don't want to lose that.

Thanks in advance.
Best regards.

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
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,






On Mon, Feb 21, 2022 at 9:29 AM Andreas Schwab 
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."
>

Re: About migrate from GitHub to Savannah

[Andreas Schwab]

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

About migrate from GitHub to Savannah

[John Arroyave G.]

Hi there!

Does anybody knows how the migrate a repo from GitHub to our Savannah
project?

We would like to migrate all the repo INCLUDING the history (commits, tags,
branches, etc) because we don't want to lose that.

Thanks in advance.
Best regards.