Sure, I will keep the history.

I will see how much time it takes to migrate PetitParser.

If it does not take too much time, maybe I will do it for the two others repository.

Julien

---
Julien Delplanque
Doctorant à l’Université de Lille
http://juliendelplanque.be/phd.html
Equipe Rmod, Inria
Bâtiment B 40, Avenue Halley 59650 Villeneuve d'Ascq
Numéro de téléphone: +333 59 35 86 40

Le 3 déc. 2018 à 15:55, Andrei Chis <chisvasileandrei@gmail.com> a écrit :

Hi,

That's definitely a good idea.

Just would also be very nice to use Peter's migration tool to also capture the history+authors.
(I can provide you with a lis of authors that for the migration tool that should cover most authors from PetitParser).

If you're at this, could also help to migrate the PetitSQLite and PetitJava projects.

Cheers,
Andrei


On Mon, Dec 3, 2018 at 3:41 PM Julien <julien.delplanque@inria.fr> wrote:
Hello,

I’d like to migrate PetitParser (1) on GitHub under moosetechnology organisation.

I have a project depending on it and there are some stuff I’d like to fix on PetitParser 1 ConfigurationOf (which will become a baseline on GitHub).

Is it ok to migrate it?

Cheers,

Julien

---
Julien Delplanque
Doctorant à l’Université de Lille
Bâtiment B 40, Avenue Halley 59650 Villeneuve d'Ascq
Numéro de téléphone: +333 59 35 86 40

_______________________________________________
Moose-dev mailing list
Moose-dev@list.inf.unibe.ch
https://www.list.inf.unibe.ch/listinfo/moose-dev
_______________________________________________
Moose-dev mailing list
Moose-dev@list.inf.unibe.ch
https://www.list.inf.unibe.ch/listinfo/moose-dev