Summary
When we filed the ticket to migrate our repos I didn't remember to update the jakartaee-platform repo name. Can we get it renamed to platform?
Priority
-
Urgent -
High -
Medium -
Low
Severity
-
Blocker -
Major -
Normal -
Low
Impact
No time constraints. Sometime in the next two weeks is fine.