[Rock-dev] diverging github and gitorious

[Jakob Schwendner]

Hey, I noticed that we started getting diverging repos in github and
gitorious. (e.g. vizkit has some updates on gitorious, that github hasn't)
can we make the repos at gitorious readonly, or was there another reason?

Cheers,

Jakob
--
Dr.-Ing. Jakob Schwendner
Team Autonomy

Besuchsadresse der Nebengesch?ftstelle:
DFKI GmbH
Robotics Innovation Center
Robert-Hooke-Stra?e 5
28359 Bremen, Germany

Postadresse der Hauptgesch?ftsstelle Standort Bremen:
DFKI GmbH
Robotics Innovation Center
Robert-Hooke-Stra?e 1
28359 Bremen, Germany

Tel.: [phone]
Zentrale: [phone]
Fax: [phone] (Faxe bitte namentlich kennzeichnen)
E-Mail: jakob.schwendner at dfki.de

Weitere Informationen: http://www.dfki.de/robotik
-----------------------------------------------------------------------
Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH
Firmensitz: Trippstadter Stra?e 122, D-67663 Kaiserslautern
Geschaeftsfuehrung: Prof. Dr. Dr. h.c. mult. Wolfgang Wahlster
(Vorsitzender) Dr. Walter Olthoff
Vorsitzender des Aufsichtsrats: Prof. Dr. h.c. Hans A. Aukes
Amtsgericht Kaiserslautern, HRB 2313
Sitz der Gesellschaft: Kaiserslautern (HRB 2313)
USt-Id.Nr.: DE 148646973
Steuernummer: 19/673/0060/3
-----------------------------------------------------------------------

[Sylvain Joyeux]

Post by Jakob Schwendner
Hey, I noticed that we started getting diverging repos in github and
gitorious. (e.g. vizkit has some updates on gitorious, that github hasn't)
can we make the repos at gitorious readonly, or was there another reason?

Please do. The only reason was that I spent already too much of my
time to do this migration.

Sylvain