[Rock-dev] Github migration - almost there

[Matthias Goldhoorn]

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
> Rock-dev at dfki.de
> 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:  matthias.goldhoorn at informatik.uni-bremen.de

  Weitere Informationen: http://www.informatik.uni-bremen.de/robotik

-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: http://www.dfki.de/pipermail/rock-dev/attachments/20140703/a4a8e52f/attachment.htm