[cross-project-issues-dev] gerrit/git problem

2013-07-19 Thread Greg Watson
I'm getting read timed out pushing to git via gerrit. Is there a problem with either server? Greg ___ cross-project-issues-dev mailing list cross-project-issues-dev@eclipse.org https://dev.eclipse.org/mailman/listinfo/cross-project-issues-dev

Re: [cross-project-issues-dev] Gerrit down ?

2013-07-19 Thread Henrik Rentz-Reichert
I already filed https://bugs.eclipse.org/413299 -Henrik Am 19.07.2013 11:35, schrieb Ken Lee: > > It seems that Gerrit is down again (https://git.eclipse.org/r/). > http://git.eclipse.org/c/ is however reachable. > > > > *From:*cross-project-issues-dev-boun...@eclipse.org > [mailto:cross-proj

Re: [cross-project-issues-dev] Gerrit down ?

2013-07-19 Thread Ken Lee
It seems that Gerrit is down again (https://git.eclipse.org/r/). http://git.eclipse.org/c/ is however reachable. From: cross-project-issues-dev-boun...@eclipse.org [mailto:cross-project-issues-dev-boun...@eclipse.org] On Behalf Of Denis Roy Sent: Dienstag, 9. Juli 2013 13:00 To: cross-project-is

Re: [cross-project-issues-dev] Future of Eclipse IDE

2013-07-19 Thread Mickael Istria
As an occasional contributor to some p2/PDE/Platform stuff, I really see the benefits of those efforts (Git/Gerrit, Tycho). It definitely makes contributing to Platform not-so-difficult: some pieces of code may sometimes be complicated, but process to contribute is simple and Platform committer