Re: [Liberty-eiffel] GitHub repository

[Mehul Sanghvi]

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

cheers,

      mehul

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
>repository.
>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 savannah.gnu.org 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