<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
Hello,<br>
<br>
git has some equivalent tool for svn external: it's git submodules
-> git help submodule<br>
<br>
Best regards,<br>
<br>
YC<br>
<br>
<div class="moz-cite-prefix">Le 04/01/2015 20:24, Ted Ralphs a
écrit :<br>
</div>
<blockquote
cite="mid:CA+GYycsZQy0PurgErbKOT8po9TtixiG+AERyMMJpbr-WN3gfvg@mail.gmail.com"
type="cite">
<div dir="ltr">
<div>
<div>
<div>
<div>Dear project managers,<br>
<br>
</div>
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:<br>
<br>
<a moz-do-not-send="true"
href="https://github.com/coin-or">https://github.com/coin-or</a><br>
<br>
</div>
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).<br>
<br>
</div>
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. <br>
<br>
</div>
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. <br>
<div><br>
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.<br>
<br>
</div>
<div>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.<br>
<br>
</div>
<div>Cheers,<br>
<br>
Ted <br>
</div>
<div>
<div>
<div>
<div>
<div>-- <br>
<div class="gmail_signature">
<div dir="ltr">Dr. Ted Ralphs<br>
Professor, Lehigh University<br>
(610) 628-1280<br>
ted 'at' lehigh 'dot' edu<br>
<a moz-do-not-send="true"
href="http://coral.ie.lehigh.edu/%7Eted"
target="_blank">coral.ie.lehigh.edu/~ted</a><br>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
Project-managers mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Project-managers@list.coin-or.org">Project-managers@list.coin-or.org</a>
<a class="moz-txt-link-freetext" href="http://list.coin-or.org/mailman/listinfo/project-managers">http://list.coin-or.org/mailman/listinfo/project-managers</a>
</pre>
</blockquote>
<br>
</body>
</html>