[Project-managers] Git hub mirroring

[Ted Ralphs]

Hi Yann,

I did look at submodules and also subtrees, but neither do exactly what we
would want (I can tell you the details if you are interested). It seems to
me that the best option at the moment is to provide a script that checks
out all of the dependencies into separate subdirectories. We have discussed
getting rid of the root directories of the individual projects and just
using such a script to download dependencies and build even on the SVN
side. This would perhaps make things easier all around. A while back, we
made it possible to build install each project separately, linking against
the previously installed binaries at each step so this kind of build
process would not be too difficult. We will see what emerges as we discuss
this.

Cheers,

Ted

On Sun, Jan 4, 2015 at 2:51 PM, Yann Collette <ycollette.nospam at free.fr>
wrote:

>  Hello,
>
> git has some equivalent tool for svn external: it's git submodules -> git
> help submodule
>
> Best regards,
>
> YC
>
> Le 04/01/2015 20:24, Ted Ralphs a écrit :
>
>   Dear project managers,
>
>  Happy new year! I've now finally managed to get automatic mirroring of
> many of the COIN projects to github working. You can see the result here:
>
> https://github.com/coin-or
>
>  Any commit to the subversion repos on COIN should be automatically
> mirrored to github within about 10 minutes (this needs to be set up again
> manually when the server gets rebooted, though, so if you notice that it's
> not working, please let me know).
>
>  There are still a lot of questions to be answered about how this is going
> to work in the long run. At the moment, there is no easy way to check out
> and build a project including all dependencies, as there is on SVN, because
> git lacks a notion of externals. There are a couple of possible solutions
> to this that we are discussing.
>
>  After looking into it a little more deeply, it seems that two way
> mirroring will be difficult for a lot of reasons. github and svn encourage
> very different workflows and keeping things aligned when using both of them
> for commits would be difficult. It can be done, but requires strict
> discipline and also restricts you from doing certain things on git that you
> would naturally want to do, which makes the use of git a bit pointless
> anyway. For now, I am considering these github mirrors to be just
> that---static mirrors from svn. You should continue to just commit to svn
> as usual. If you happen to get pull requests on github, my suggestion would
> be to turn that pull request into a patch and apply it to svn.
>
> If your project is not one of the ones currently mirrored and you would
> like it to be, please let me know. There is a bit of manual configuration
> involved at first and I will need some information from you about how you
> want things mirrored.
>
>  Thanks for your help with this. I think it is a good move for COIN-OR to
> be on github and I hope it creates more publicity for all of you.
>
>  Cheers,
>
> Ted
>    --
>  Dr. Ted Ralphs
> Professor, Lehigh University
> (610) 628-1280
> ted 'at' lehigh 'dot' edu
> coral.ie.lehigh.edu/~ted <http://coral.ie.lehigh.edu/%7Eted>
>
>
> _______________________________________________
> Project-managers mailing listProject-managers at list.coin-or.orghttp://list.coin-or.org/mailman/listinfo/project-managers
>
>
>
> _______________________________________________
> Project-managers mailing list
> Project-managers at list.coin-or.org
> http://list.coin-or.org/mailman/listinfo/project-managers
>
>


-- 
Dr. Ted Ralphs
Associate Professor, Lehigh University
(610) 628-1280
ted 'at' lehigh 'dot' edu
coral.ie.lehigh.edu/~ted
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://list.coin-or.org/pipermail/project-managers/attachments/20150104/6b6bc6f6/attachment.html>