search

eclipse-jgit / jgit

JGit, the Java implementation of git
https://www.eclipse.org/jgit/
Other
127 stars 37 forks source link

upgrade to jetty 12 #42

Closed andrew-tram closed 3 months ago

andrew-tram commented 6 months ago

upgrade to jetty 12

https://github.com/eclipse-jgit/jgit/issues/41

Thank you for contributing to JGit!

JGit uses GerritHub for code changes and review, therefore pull requests in this repository cannot be merged.

Please make sure you have read the section on contributing patches of the Contributor Guide.

andrew-tram commented 6 months ago

After reading through the contributor guide, I'm still unable to submit changes for review. Unfortunately, I won't be able to commit any more time to this and will leave it as it is.

davido commented 5 months ago

Unfortunately, I won't be able to commit any more time to this and will leave it as it is.

Can you provide more insight, what exactly doesn't work for you, or mention the error message during the push?

davido commented 5 months ago

@lucamilanesio I tried to import this PR to gerrithub using github-plugin but got an error during the import. Can you clarify, if the import workflow of PRs is supported for JGit project?

davido commented 5 months ago

I cherry-picked the PR and uploaded it to Gerrithub:

https://review.gerrithub.io/c/eclipse-jgit/jgit/+/1194275

msohn commented 3 months ago

Update to jetty 12 was submitted on the next branch https://eclipse.gerrithub.io/c/eclipse-jgit/jgit/+/1194291 and will be merged to master soon https://eclipse.gerrithub.io/c/eclipse-jgit/jgit/+/1195683