Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Rename Repositories #28

Open
jmcc0nn3ll opened this issue Nov 6, 2023 · 5 comments
Open

Rename Repositories #28

jmcc0nn3ll opened this issue Nov 6, 2023 · 5 comments

Comments

@jmcc0nn3ll
Copy link
Contributor

When we decomposed the toolchain, we kept the original naming conventions of the EF regarding our repository names.

We are kicking around a mass rename to essentially follow maven naming conventions.

jetty.websocket.api - > jetty-websocket-api
jetty.servlet.api -> jetty-servlet-api
jetty.setuid -> jetty-setuid
jetty.test.helper -> jetty-test-helper
jetty.perf.helper -> jetty-perf-helper
jetty.alpn.api - > jetty-alpn-api
jetty.artifact.resources -> jetty-artifact-remote-resources
jetty.assembly.descriptors -> jetty-assembly-descriptors
jetty.schemas -> jetty-schemas
jetty.schemas.xhtml -> jetty-xhtml-schemas
jetty.docker -> jetty-docker
jetty.parent -> jetty-parent
jetty.test.policy -> jetty-test-policy

We are also thinking of fixing jetty.project so:

jetty.project -> jetty

The website is in a bit of flux but eventually:
jetty.website.2020 -> jetty-website-2020
jetty-website -> jetty-website-2023
jetty.website -> jetty-website ( or just website ) once jetty.org is deployable

@jmcc0nn3ll
Copy link
Contributor Author

@netomi This is only a discussion right now, please don't make any changes, but I wanted to ask if repo rename support is in otterdog right now or if that is something we would have to flag you specifically for.

Sorry to be a bother, but we are hoping to get things squared away naming-wise before we start sorting out the #18.

@netomi
Copy link
Contributor

netomi commented Nov 6, 2023

it is supported.

In order to rename a repo, just give it a new name, and add a aliases: ["oldname"] property for the service to be able to associate it.

Example PR can be found here: eclipse-uprotocol/.eclipsefdn#17

@jmcc0nn3ll
Copy link
Contributor Author

I was able to rename the jetty.test.policy repository as expected, you just can't rename an archived repo.

Time to discuss the issue amongst the committers and decide.

@netomi
Copy link
Contributor

netomi commented Nov 7, 2023

well we can rename archived repos, it just requires an additional manual step. I would resort on doing things like that, if they are necessary we can ofc.

@jmcc0nn3ll
Copy link
Contributor Author

@netomi yes, sorry, I put that there as a bit of a reminder that we can't do it directly

@netomi netomi changed the title Rename Respositories Rename Repositories Nov 8, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants