On Wed, Apr 23, 2014 at 3:23 PM, Sylvain Joyeux <[email protected]> wrote: > On Wed, Apr 23, 2014 at 3:17 PM, Peter Soetens <[email protected]> > wrote: >> >> I'm proposing to leave gitorious as well for the Orocos Toolchain and >> related libraries... > > Yes .. I knew you would be happy about that one ;-) > >> It would boil down to changing the installation instructions and >> changing the bootstrap links to what exists on github and to reverse >> the synchronisation scripts, ie, force-sync from github to gitorious. > > In the Rock case, the plan was to drop gitorious completely. This is > transparent to both developers and users as autoproj will update the git > push/pull URLs.
Hmm. you're probably right from the user perspective. I saw an advantage as a back-up server, github has suffered from hour-long DOS attacks in the past. Peter _______________________________________________ Rock-dev mailing list [email protected] http://www.dfki.de/mailman/cgi-bin/listinfo/rock-dev
