<br><br>On Monday, October 24, 2011, Bart van den Eijnden <<a href="mailto:bartvde@osgis.nl">bartvde@osgis.nl</a>> wrote:<br>> I would be in favor of moving everything to github.<br><br>So do we agree to have both geoext and geoext2 in github? With this geoext2 won't be a temporary name, do you think that's a problem?<br>
<br>I guess the website and extensions dirs can also be moved to github, as separate repos. I would go with one repo for all the extensions.<br><br>Also, do we want to move our ext dir to github? I think there's a risk that people see <a href="http://github.com/geoext">github.com/geoext</a> as a place where ExtJS can be downloaded, which might cause us trouble. So I wouldn't do it and rely on online versions of Ext instead.<br>
<br>With the SVN support github provides (even impoved lately) I wouldn't bother mirroring from github to SVN. And Chris Schmidt has had a hard time setting up such a mirror for OpenLayers—I'm not even sure it works now.<br>
<br>This can be discussed publicly on the mailing list, I just thought we could agree on things a bit here beforehands.<br><br>Thanks,<br><br>-- <br>Eric Lemoine<br><br>Camptocamp France SAS<br>Savoie Technolac, BP 352<br>
73377 Le Bourget du Lac, Cedex<br><br>Tel : 00 33 4 79 44 44 96<br>Mail : <a href="mailto:eric.lemoine@camptocamp.com">eric.lemoine@camptocamp.com</a><br><a href="http://www.camptocamp.com">http://www.camptocamp.com</a><br>
<br>