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

General bug fixes for jetty-start #9555

Merged
merged 13 commits into from
Apr 10, 2023
Merged

Conversation

joakime
Copy link
Contributor

@joakime joakime commented Mar 30, 2023

Cleanup of various techniques in jetty-start.

@joakime joakime added this to the 10.0.x milestone Mar 30, 2023
@joakime joakime self-assigned this Mar 30, 2023
joakime added 2 commits March 30, 2023 12:43
Signed-off-by: Joakim Erdfelt <[email protected]>
Signed-off-by: Joakim Erdfelt <[email protected]>
@joakime joakime marked this pull request as draft March 31, 2023 11:16
joakime added 4 commits March 31, 2023 07:55
…low insecure http downloads.

Signed-off-by: Joakim Erdfelt <[email protected]>
Signed-off-by: Joakim Erdfelt <[email protected]>
Signed-off-by: Joakim Erdfelt <[email protected]>
@joakime joakime marked this pull request as ready for review March 31, 2023 15:19
@joakime joakime requested review from sbordet and gregw April 5, 2023 21:15
Signed-off-by: Joakim Erdfelt <[email protected]>
@joakime joakime requested a review from sbordet April 6, 2023 14:48
Signed-off-by: Joakim Erdfelt <[email protected]>
// The user is either using the DEFAULT_REMOTE_REPO, or has redeclared it to a new URI.
// If the `maven.repo.uri` property has been changed from default, this indicates a change
// to a different maven uri, overwhelmingly pointing to a maven repository manager
// like artifactory or nexus. This is viewed as an intentional decision by the
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

there is Archiva as well :P

@joakime joakime dismissed sbordet’s stale review April 10, 2023 12:05

Out of date

@joakime joakime merged commit 81efae2 into jetty-10.0.x Apr 10, 2023
@joakime joakime deleted the fix/10.0.x/jetty-start-cleanup branch April 10, 2023 13:54
@joakime joakime changed the title jetty-start cleanup General bug fixes for jetty-start Apr 13, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants