|Subject:||Re: [Liberty-eiffel] Savannah Project|
|Date:||Thu, 6 Jun 2013 13:34:38 +0200|
Hi Raphael, all,I asked Karl and he tried to find a solution, but there is nothing simple. I guess qe'll have to transfer every still relevant isuu by hand.
I'm looking for a way to add git hooks in the Savannah git repo.
Cheers,2013/6/5 Raphael Mack <address@hidden>
oh cool, I got it to switch the upstream remote for my local repo and
even succeeded to commit a few changes on the website. - Thanks for all
the setup, Cyril!
I adapted ETs site correspondingly and wonder how we should continue
with github. We could let et push the changes in savannah master to
github master - this would allow us to see the network graph, if we
decide to continue working with our user-branches on github. Or we could
even stop this.
Oh, while writing these lines it comes to my mind, that ET will not be
noticed anymore by github after each commit in the upstream master (as
it is not there anymore ;-) And the links which are used in et's output
still reference github - I'll have to change this.
Cyril, did you hear anything from the admins about transferring our
issues? I'd create a task for these points but if we could keep the ids
of the issues from github to savannah it would be good to have the
transfer before we create new tickets on savannah.
|[Prev in Thread]||Current Thread||[Next in Thread]|