Skip to main content
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [git] Mirror to GitHub 
On Mon, Sep 19, 2011 at 2:40 AM, Mickael Istria
<mickael.istria@xxxxxxxxxxxxxx> wrote:
> What are the next steps to do in order to mirror a Git repo from eclipse.org
> to GitHub?

When did you update the portal metadata?

It's a manual step to ping github to update their list of mirrors based on this:
     http://eclipse.org/projects/git-repos.php

I generally bother them once a month but can do it later this week in
anticipation of JDT moving its repos to Git.

-- 
Cheers,

Chris Aniszczyk
http://aniszczyk.org
+1 512 961 6719

Back to the top