Re: [jdt-dev] JDT Core repository mirror vanished from GitHub

[Jonah Graham <jonah@xxxxxxxxxxxxxxxx>]

Hi Alexander,

Please see https://bugs.eclipse.org/bugs/show_bug.cgi?id=574076#c7 (Comment 7) - I think the mirror may have been removed as part of this work.

Jonah

~~~
Jonah Graham
Kichwa Coders
www.kichwacoders.com

On Sat, 24 Jul 2021 at 01:47, Alexander Kriegisch <alexander@xxxxxxxxxxxxxx> wrote:

Hello JDT devevlopers.

FYI, this is my first message here, I only subscribed today and hope
that my question is appropriate here. I wanted to avoid opening a
Bugzilla issue just to ask a simple question.

I just tried to refresh my clone of JDT Core via
git@xxxxxxxxxx:eclipse/eclipse.jdt.core.git and to my astonishment found
out that the GitHub mirror seems to be gone. Of course I can also set
the upstream repository as a remote, but I would like to understand why
the mirror is gone. Did somebody decide to do that on purpose or was it
unintentional? If it was intentional, what was the rationale?

Thank you very much and best regards
--
Alexander Kriegisch
https://scrum-master.de
_______________________________________________
jdt-dev mailing list
jdt-dev@xxxxxxxxxxx
To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/jdt-dev