<div dir="ltr">I'll just wait to create the issues to avoid the extra work of porting them from Mantis (I'm assuming that hasn't been automated). I'm tracking the issues in my notes, so won't forget them.</div><div class="gmail_extra"><br><div class="gmail_quote">On Sun, Dec 13, 2015 at 4:11 AM, Gabriel Scherer <span dir="ltr"><<a href="mailto:gabriel.scherer@gmail.com" target="_blank">gabriel.scherer@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Indeed, the repo is blank for now. I haven't taken the time to do this yet, but will next week-end at the latest. In the meantime, feel free to use the mantis bugtracker to report issue -- we will have to migrate them to github in any case -- setting the "Target version" to "later".<br></div><div class="HOEnZb"><div class="h5"><div class="gmail_extra"><br><div class="gmail_quote">On Sun, Dec 13, 2015 at 1:29 AM, Ashish Agarwal <span dir="ltr"><<a href="mailto:agarwal1975@gmail.com" target="_blank">agarwal1975@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">What's the next step on this? Gabriel, I can help if you'd like. I'm eager to get the repo created as I have several issues to report.</div><div><div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Dec 4, 2015 at 11:35 AM, François Bobot <span dir="ltr"><<a href="mailto:francois.bobot@cea.fr" target="_blank">francois.bobot@cea.fr</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span>On 03/12/2015 14:49, Fabrice Le Fessant wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Hi Thomas,<br>
<br>
   You can. The only interesting part was how it was created by xtracting the git history:<br>
<br>
How this repository was created:<br>
</blockquote>
<br>
</span><span><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
git subtree split -P ocamlbuild -b next-ocamlbuild<br>
git filter-branch --prune-empty next-ocamlbuild<br>
git checkout next-ocamlbuild<br>
</blockquote>
<br></span>
Just for this part you can replace these line by<br>
<br>
git filter-branch --prune-empty --subdirectory-filter ocamlbuild -- --all<br>
<br>
and all the tags and branches are filtered.<br>
<br>
My two cents,<span><font color="#888888"><br>
<br>
-- <br>
François</font></span><div><div><br>
_______________________________________________<br>
Platform mailing list<br>
<a href="mailto:Platform@lists.ocaml.org" target="_blank">Platform@lists.ocaml.org</a><br>
<a href="http://lists.ocaml.org/listinfo/platform" rel="noreferrer" target="_blank">http://lists.ocaml.org/listinfo/platform</a><br>
</div></div></blockquote></div><br></div>
</div></div><br>_______________________________________________<br>
Platform mailing list<br>
<a href="mailto:Platform@lists.ocaml.org" target="_blank">Platform@lists.ocaml.org</a><br>
<a href="http://lists.ocaml.org/listinfo/platform" rel="noreferrer" target="_blank">http://lists.ocaml.org/listinfo/platform</a><br>
<br></blockquote></div><br></div>
</div></div></blockquote></div><br></div>