Migrate Eclipse ICE to GitLab

We would like to migrate Eclipse ICE to GitLab please. We're very excited about all the extra features in GitLab!

It would be nice to keep our GitHub repo as a mirror of the GitLab page since many people look there first. Would that be possible?

What else do you need from me?

On https://projects.eclipse.org/projects/science.ice/developer I see this repo:

https://github.com/eclipse/ice.git

I'll use that as a basis for import. Is there a specific day or time to do this? There may be options for mirroring, but I haven't explored them yet.

assigned to @droy

Thanks Denis! That's the correct repo. Any day or time will work fine.

I've added the GitLab repo to https://projects.eclipse.org/projects/science.ice

Once it's created over here (as well as the team of committers), I'll use it as the base for the migration, likely tomorrow.

The import is running now. It's taking a while, I'll check back on it tomorrow.

https://gitlab.eclipse.org/eclipse/ice/ice

Spoke too soon - the import is done, and it seems quite complete.

https://gitlab.eclipse.org/eclipse/ice/ice

Have a look, please let me know what you think.

That looks great to me. Thanks!

Before I close this one, what would you like us to do with the repo on GitHub?

Can we keep it to use as a mirror for distribution? More people look to GitHub than GitLab. We can manually mirror releases there for now since they share a history.

For sure. Perhaps we can change the GH repo description to reflect that it is a mirror of this repo?

I've updated the description of the Github repo and created a PR to reflect the move in the README.md file. Closing.

closed

Thanks @droy and sorry for the delay getting back on this. I'll take a look at the PR.

added Migration ~16083 labels

@jbillings the GitHub repository is confusing our metrics scanner. Can we mark the repository as archived?

I'm reluctant to do that because we have links all over the internet and in reports and papers pointing to the GitHub site. What does it look like if we archive it? Is https://github.com/eclipse/ice still active so folks can see the updated link in the description?

Alternatively, is there a way to fix the metrics scanner?

It will be marked as archived. Everything else will appear the same. By marking it as archived, GitHub will make it so that new issues cannot be opened, and that pull requests that you'll never merge cannot be created. It's generally good hygiene to mark repositories that you don't want folks to use as archived.

Here's an example: https://github.com/eclipse/jemo

The way that we fixed the metrics scanner is to have it skip archived repositories.

+1. Let's archive it, then. Thanks for diving in on this, @wbeaton.

Great. Thanks. I've marked it as archived.