Shouldn't we simply remove also push-rights to all packages you are
already moved?
Additionally regarding the old package sets.
To prevent that everybody has to update his/her manifests know, we could
push the github version of the package sets to gitorious.
So the migration would be more smooth to our customers...
Best,
Matthias
On 03.07.2014 15:05, Sylvain Joyeux wrote:
I've synchronized the package sets on github with the latest changes
from gitorious. I am removing commit rights on the gitorious package
sets to avoid having to re-update.
I will do a last update for the master branches of the packages (to
synchronize github). Any new commit pushed right now will have to be
re-pushed by someone else than me.
Sylvain
_______________________________________________
Rock-dev mailing list
[email protected]
http://www.dfki.de/mailman/cgi-bin/listinfo/rock-dev
--
Dipl.-Inf. Matthias Goldhoorn
Space and Underwater Robotic
Universität Bremen
FB 3 - Mathematik und Informatik
AG Robotik
Robert-Hooke-Straße 1
28359 Bremen, Germany
Zentrale: +49 421 178 45-6611
Besuchsadresse der Nebengeschäftstelle:
Robert-Hooke-Straße 5
28359 Bremen, Germany
Tel.: +49 421 178 45-4193
Empfang: +49 421 178 45-6600
Fax: +49 421 178 45-4150
E-Mail: [email protected]
Weitere Informationen: http://www.informatik.uni-bremen.de/robotik
_______________________________________________
Rock-dev mailing list
[email protected]
http://www.dfki.de/mailman/cgi-bin/listinfo/rock-dev
