<br><br>On Tuesday, October 25, 2011, Eric Lemoine <<a href="mailto:eric.lemoine@camptocamp.com">eric.lemoine@camptocamp.com</a>> wrote:<br>><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><br>Hello<br><br>If noone objects I'm going to move geoext core to <a href="http://github.com/geoext/geoext">github.com/geoext/geoext</a> this weekend and/or next week. Please tell me if you have any issue with me doing it.<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>