[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[
List Home]
[gef-dev] GitHub Migration - Repositories Populated
|
Hi all,
I have pushed over the contents of the repos from git.eclipse.org to github as follows:
I have used the following approach to transfer the repos with complete history:
git clone --mirror <url_of_old_repo>
cd <name_of_old_repo>
git remote add new-origin <url_of_new_repo>
git push new-origin --mirror
Please check everything is in place. I have asked the webmaster to make the old repos at git.eclipse.org read-only for now. We can remove them as soon as the github repos are validated.
Regards, Alexander
-- Dr. Alexander Nyßen Dipl.-Inform. Principal Engineer Telefon: +49 (0) 231 / 98 60-202 Telefax: +49 (0) 231 / 98 60-211 Mobil: +49 (0) 151 / 17396743 http://www.itemis.de alexander.nyssen@xxxxxxxxx itemis AG Am Brambusch 15-24 44536 Lünen Rechtlicher Hinweis: Amtsgericht Dortmund, HRB 20621 Vorstand: Jens Wagener (Vors.), Wolfgang Neuhaus Aufsichtsrat: Prof. Dr. Burkhard Igel (Vors.), Michael Neuhaus, Jennifer Fiorentino
|
Attachment:
signature.asc
Description: Message signed with OpenPGP using GPGMail