Benjamin,
Thanks for clarifying the differences between the repositories. Is there a way we can get the webmaster to remove my accidental commit to
http://git.eclipse.org/c/gerrit/www.eclipse.org/keti.git so it’s back to a clean state?
Also by “Github ID in the eclipse portal” do you mean the one under “Social Media Links” when editing our account via
https://accounts.eclipse.org/user/<user_id>/edit ? If so I’ve verified that all active committers internal to GE have added their GitHub IDs. Will you be following up with the webmaster to grant
us write privileges or do we need to individually file bugs against the webmaster here:
https://bugs.eclipse.org/bugs/enter_bug.cgi?product=Community&component=GitHub ?
Thanks,
Anubhav
From:
Benjamin Cabé <benjamin.cabe@xxxxxxxxxxxxxxxxxxxxxx>
Date: Tuesday, January 9, 2018 at 7:53 AM
To: <keti-dev@xxxxxxxxxxx>
Cc: <anubhav.saggi@xxxxxx>, "Chopra, Sanjeev (GE Digital)" <chopra@xxxxxx>
Subject: EXT: Keti initial contribution - git repo
I’m following up on Anubhav’s request on IPzilla here on the mailing list, as this is information that might be useful for others.
"I've checked in our code to
we don't have permission to force-push to the master branch so I had to resort
to adding another commit on top of the initial one by the webmaster. I was
attempting to follow instructions similar to what's described in
mirroring process in the Eclipse docs beyond what's covered in
the actual process for mirroring to our repo under the eclipse public GitHub
As far as getting the actual Keti code contributed to https://github.com/eclipse/keti, which is the repo for the code, have all the Keti committers filled in their Github ID in the eclipse portal?
This is how webmaster can provide write access to the commiter's Github accounts.
Benjamin -