[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [cross-project-issues-dev] git pull/push

We've faced some issues this (EU) morning but it should be fixed by now. Please try again and let us know if you still have troubles.

Thanks.

Le 3 juil. 2017 Ã 11:25, Mickael Istria <mistria@xxxxxxxxxx> a Ãcrit :

Hi Manoj,

I also see that too and it's really annoying as it prevents many workflows from working, so many work from being completed!
In the meantime, you can try as workaround to use GitHub mirror: create a GitHub fork from https://github.com/eclipse/eclipse.jdt.core , and push you local commits to your fork. When Gerrit is back to life, you'll simply have to push the branch or commits you want to it. Then you can put a link from Bugzilla to your GitHub commit so your patch is accessible from the related ticket.
That's far from being perfect, but at least it already allows to share the code and prepare it at best.

HTH
_______________________________________________
cross-project-issues-dev mailing list
cross-project-issues-dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://dev.eclipse.org/mailman/listinfo/cross-project-issues-dev

MikaÃl Barbero
Senior Developer & FEEP Technical Leader
Eclipse Foundation
E: mikael.barbero@xxxxxxxxxxxxxxxxxxxxxx
T: (+33) 642 028 039

Attachment: signature.asc
Description: Message signed with OpenPGP