[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Liberty-eiffel] GitHub repository

From: Mehul Sanghvi
Subject: Re: [Liberty-eiffel] GitHub repository
Date: Thu, 16 Jun 2016 12:14:37 -0400

Thanks for the explanation.  I'll just work with like I have been.



On Thu, Jun 16, 2016 at 2:44 AM, Paolo Redaelli <address@hidden> wrote:

Il 16 giugno 2016 06:54:02 CEST, Mehul Sanghvi <address@hidden> ha scritto:
>I notice that there is a GitHub repository as well as a Savanna
>Which is the one to use ?  I am not sure I have push access to the
>Savannah repository, but I can always create a pull-request on GitHub.

We naively started importing the old svn repository into Github then after acquiring the status of GNU project we opened the official repository on savannah.
Therefore the official repo is on and the one on github become a constantly updated backup.

-- Inviato dal mio cellulare Android con K-9 Mail.

Mehul N. Sanghvi
email: address@hidden

reply via email to

[Prev in Thread] Current Thread [Next in Thread]