On Wed, Mar 16, 2022 at 10:15 PM Jonah Graham
wrote:
> I ask because some projects that have migrated from gerrit to GitHub seem
> to have lost their gerrit entries (Tycho[2]) while others still live on
> gerrit (like LSP4E[3])
>
Thanks for the reminder. I'll ask for removal of the Gerrit repo f
> Thanks. I guess I'll have to prioritize saving all that random work
> somewhere for when (if) I get around to migrating it to PRs
You could simply store them in your github fork, the following should
work (even though I have not tried that out):
1) fork and clone the git repo from github
2)
Thanks. I guess I'll have to prioritize saving all that random work
somewhere for when (if) I get around to migrating it to PRs
(sorry for so much WIP - I have a lot more ideas than time to follow up on
all of them)
On Wed., Mar. 16, 2022, 17:32 Aleksandar Kurtakov,
wrote:
>
>
> On Wed, Mar 16,
On Wed, Mar 16, 2022 at 11:31 PM Aleksandar Kurtakov
wrote:
>
>
> On Wed, Mar 16, 2022 at 11:15 PM Jonah Graham
> wrote:
>
>> Hi folks,
>>
>> How long will the gerrits for platform projects moving to GitHub be left
>> around? (Sorry if this is asked and answered somewhere else)
>>
>
> We will no
On Wed, Mar 16, 2022 at 11:15 PM Jonah Graham
wrote:
> Hi folks,
>
> How long will the gerrits for platform projects moving to GitHub be left
> around? (Sorry if this is asked and answered somewhere else)
>
We will not let them stay after moving. Process is like
https://git.eclipse.org/r/c/platf
Hi folks,
How long will the gerrits for platform projects moving to GitHub be left
around? (Sorry if this is asked and answered somewhere else)
I have various WIP gerrits[1] that I hope to come back to one day. Until
now I have considered gerrit a safe place to store such WIP (as I would my
own f