upgrade to jetty 12

[andrew-tram]

upgrade to jetty 12

#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]

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]

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]

@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]

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

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

[msohn]

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