It is not that much work. Just copying the code under your username I consider rude. I spent a lot of time migrating repos to github of packages I���m not the maintainer of. The git-migration of Peter is so easy to use there is no reason not to use.��On Fri, Sep 28, 2018 at 9:07 AM Torsten Bergmann <astares@gmx.de> wrote:Hi Guille,
Yes, thanks. But it looks like the history is gone now - as��you seem to load and then commited
with Iceberg only.��Yes, that's what I did.��
By using Peters "STHub -> Git migration tool" the history of the changes is preserved and moved into
the git history too.��See https://github.com/peteruhnak/git-migration��Would it be possible to use that?Yes, that could be used. The thing is that I'm not Artefact's maintainer, and I did not want to invest more than one hour on this.But if someone wants to take the bull from the horns, that's ok ^^.��History is importantNorbertGuille
|
������ | Guille Polito Research Engineer Centre de Recherche en Informatique, Signal et Automatique de Lille CRIStAL - UMR 9189 French National Center for Scientific Research - http://www.cnrs.fr Phone: +33 06 52 70 66 13 |