[jakarta.ee-spec.committee] Renaming projects

[arjan tijms <arjan.tijms@xxxxxxxxx>]

Hi,

For issues like https://github.com/eclipse-ee4j/jaspic/issues/46 I wonder if it's already in scope to rename the GitHub project itself. E.g. https://github.com/eclipse-ee4j/jaspic to https://github.com/eclipse-ee4j/jakarta-authentication

I know we can continue to use the old project names, but should we?

Github will automatically put a redirect in place for the old name, so that keeps working.

Additionally, projects on GitHub have a description, but only admins can change those. For instance JASPIC now says: "jaspic project:.  I'm not admin on any of the projects, so I think Dmitry or Wayne would have to change these.

Thoughts?

Kind regards,

Arjan Tijms