<div dir="ltr"><div><div>Hi Yann,<br><br></div>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.<br><br></div>Cheers,<br><br>Ted <br></div><div class="gmail_extra"><br><div class="gmail_quote">On Sun, Jan 4, 2015 at 2:51 PM, Yann Collette <span dir="ltr">&lt;<a href="mailto:ycollette.nospam@free.fr" target="_blank">ycollette.nospam@free.fr</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
  
    
  
  <div text="#000000" bgcolor="#FFFFFF">
    Hello,<br>
    <br>
    git has some equivalent tool for svn external: it&#39;s git submodules
    -&gt; git help submodule<br>
    <br>
    Best regards,<br>
    <br>
    YC<br>
    <br>
    <div>Le 04/01/2015 20:24, Ted Ralphs a
      écrit :<br>
    </div>
    <blockquote type="cite"><div><div class="h5">
      <div dir="ltr">
        <div>
          <div>
            <div>
              <div>Dear project managers,<br>
                <br>
              </div>
              Happy new year! I&#39;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 href="https://github.com/coin-or" target="_blank">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&#39;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>
                    <div dir="ltr">Dr. Ted Ralphs<br>
                      Professor, Lehigh University<br>
                      <a href="tel:%28610%29%20628-1280" value="+16106281280" target="_blank">(610) 628-1280</a><br>
                      ted &#39;at&#39; lehigh &#39;dot&#39; edu<br>
                      <a 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></fieldset>
      <br>
      </div></div><pre>_______________________________________________
Project-managers mailing list
<a href="mailto:Project-managers@list.coin-or.org" target="_blank">Project-managers@list.coin-or.org</a>
<a href="http://list.coin-or.org/mailman/listinfo/project-managers" target="_blank">http://list.coin-or.org/mailman/listinfo/project-managers</a>
</pre>
    </blockquote>
    <br>
  </div>

<br>_______________________________________________<br>
Project-managers mailing list<br>
<a href="mailto:Project-managers@list.coin-or.org">Project-managers@list.coin-or.org</a><br>
<a href="http://list.coin-or.org/mailman/listinfo/project-managers" target="_blank">http://list.coin-or.org/mailman/listinfo/project-managers</a><br>
<br></blockquote></div><br><br clear="all"><br>-- <br><div class="gmail_signature">Dr. Ted Ralphs<br>Associate Professor, Lehigh University<br>(610) 628-1280<br>ted &#39;at&#39; lehigh &#39;dot&#39; edu<br><a href="http://coral.ie.lehigh.edu/~ted" target="_blank">coral.ie.lehigh.edu/~ted</a><br></div>
</div>