liberty-eiffel
[
Top
][
All Lists
]
Advanced
[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
[Liberty-eiffel] GitHub repository
From
:
Mehul Sanghvi
Subject
:
[Liberty-eiffel] GitHub repository
Date
:
Thu, 16 Jun 2016 00:54:02 -0400
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.
cheers,
mehul
--
Mehul N. Sanghvi
email:
address@hidden
reply via email to
[Prev in Thread]
Current Thread
[
Next in Thread
]
[Liberty-eiffel] GitHub repository
,
Mehul Sanghvi
<=
Re: [Liberty-eiffel] GitHub repository
,
Paolo Redaelli
,
2016/06/16
Re: [Liberty-eiffel] GitHub repository
,
Mehul Sanghvi
,
2016/06/16
Prev by Date:
Re: [Liberty-eiffel] Bug #44601
Next by Date:
Re: [Liberty-eiffel] Request for feedback about proposed changes
Previous by thread:
[Liberty-eiffel] Request for feedback about proposed changes
Next by thread:
Re: [Liberty-eiffel] GitHub repository
Index(es):
Date
Thread