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
> 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
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
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
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
