Re: Moving to Java EE Github?

Arjan Tijms

I share Will's concern a little here. Perhaps a copy instead of transfer is saver. Keep the existing repos as a mirror (in the title of the repos, clearly notice it are mirrors).

When after some time the mirror is not needed anymore we can delete it.

Kind regards,
Arjan Tijms

Join to automatically receive all group messages.