Hi,
> In other words, just move the main code repo.
> If reliability is the main goal I think I would prefer an add operation
> rather than a move. Make github (or other, github has its own politics)
> repo the primary but automate synchronizing to sourceforge as a backup.
Yes, this is an even better idea! I support this.
What do you mean by "github has its own politics"?
And how the automate synchronizing can be done
without involving client side? (which means scripts at You and Wintertime when
you push)
Regards,
Fenyo
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, SlashDot.org! http://sdm.link/slashdot
_______________________________________________
Freecol-developers mailing list
Freecol-developers@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/freecol-developers
