jgit.git - JGit, the Java implementation of git: https://github.com/eclipse-jgit/jgit

	Commit message (Collapse)	Author	Age	Files	Lines
*	Update jetty to 10.0.15 and use it from Maven central directly	Matthias Sohn	2023-04-28	1	-16/+0
\| \| \| \| \| \|	and update servlet-api to 4.0.1 Change-Id: Id17aad56fc6f10dd64ce088c4b5a0532f5f0c588
*	Re-add servlet-api 4.0 to the target platform	Matthias Sohn	2023-01-16	1	-0/+5
\| \| \| \| \| \|	This was removed from the JGit target platform by mistake in 6ca3d219. Change-Id: Iedae0586fb96651255b67ed6dbb9ff7702c0ea54
*	Update jetty to 10.0.13	Matthias Sohn	2022-12-13	1	-17/+8
\| \| \| \| \| \| \| \| \|	Since Oomph's p2 repo for jetty 10.0.13 doesn't have source bundles, we remove them. Eclipse platform doesn't create p2 repos for jetty anymore and we aren't yet ready to use maven dependencies like the platform does. Change-Id: Icef9658ce441be43931e32d931adf717e2fa222c
*	Update Jetty to 10.0.6	Matthias Sohn	2021-11-22	1	-0/+20
	- this is the same version eclipse platform currently uses - update servlet-api to 4.0 - configure keystore used by AppServer with Subject Alternative Names for host name and ip address to satisfy more strict SNI checking in Jetty 10. See https://github.com/eclipse/jetty.project/issues/5379 - add jetty bundles to JGit-dependency-bundles in the jgit p2 repository Bug: 571932 Bug: 576100 Change-Id: Ibd0240cf7ad4dc201947fd69707f517c3c1fc1c8