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. Sylvain
_______________________________________________ Rock-dev mailing list [email protected] http://www.dfki.de/mailman/cgi-bin/listinfo/rock-dev
