[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
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.|
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.
cross-project-issues-dev mailing listcross-project-issues-dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
Description: Message signed with OpenPGP