[jgit-dev] JGit compatibility with jakarta.servlet.Servlet

["Zach Oakes" <zach@xxxxxxxxx>]

It seems that jgit isn't compatible with the latest version of jetty, because GitServlet implements javax.servlet.Servlet, but in jetty it was renamed to jakarta.servlet.Servlet. Is there a version of jgit that uses this new package name?

The following code example doesn't work with jetty 11 for this reason:

https://github.com/centic9/jgit-cookbook/blob/master/httpserver/src/main/java/org/dstadler/jgit/server/Main.java