Latest version of org.eclipse.jgit:org.eclipse.jgit.pgm
https://javadoc.io/doc/org.eclipse.jgit/org.eclipse.jgit.pgm
Current version 5.13.0.202109080827-r
https://javadoc.io/doc/org.eclipse.jgit/org.eclipse.jgit.pgm/5.13.0.202109080827-r
package-list path (used for javadoc generation -link option)
https://javadoc.io/doc/org.eclipse.jgit/org.eclipse.jgit.pgm/5.13.0.202109080827-r/package-list