| Re: [jdt-dev] JDT Core repository mirror vanished from GitHub |
Thanks for the information, Jonah. I shall use the original Eclipse repo as a remote, then.
Please allow me a personal note, to whomever it may concern: Like commenters on the Bugzilla issue said, now I can no longer use the powerful GitHub search for code within repositories or across a whole organisation. Why was it necessary to delete those repositories? It seems a bit overzealous. Why would anyone mind about someone with read-only access using Git protocol for cloning the repository? I think that the other reason mentioned, trying to block GitHub PRs, played a bigger role. It makes me quite sad that Eclipse insists on every occasional contributor having to set up and learn how to use Gerrit, a maybe powerful, but totally clunky tool the use of which borders on rocket science. So we are looking at a combination of information hiding (as in making search harder) and new contribution impediments as a result of Bugzilla 574076. Contributing to OSS projects should be made as easy as possible. It can be made so without compromising IP trail or the ability of committers to review code. I want to encourage every senior Eclipse committer to consider moving towards a more open(-minded) stance and help the whole organisation transition towards a more efficient, less bureaucratic approach to handling contributions and also thinking about way to make reviews more collaborative instead of feeling like "commit police".
Sorry for digressing. I am not expecting or even wishing for replies so as not to kick off a big dogmatic debate. I just wanted to express my opinion and provide some food for thought. 🙂
Jonah Graham schrieb am 24.07.2021 21:17 (GMT +07:00):
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.
On Sat, 24 Jul 2021 at 01:47, Alexander Kriegisch <alexander@xxxxxxxxxxxxxx> wrote: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?