Re: [jgit-dev] JGit 5.0.0 and 5.0.1 tagged but not released?

[Mark Waite <mark.earl.waite@xxxxxxxxx>]

On Mon, Jul 2, 2018 at 10:43 AM Thomas Wolf <thomas.wolf@xxxxxxxxxx> wrote:

On 2 Jul 2018, at 18:05 , Mark Waite <mark.earl.waite@xxxxxxxxx> wrote:

Has JGit 5.0.0 released?

There was a problem with 5.0.0: https://bugs.eclipse.org/bugs/show_bug.cgi?id=536150

But 5.0.1 has been released: https://search.maven.org/#search%7Cga%7C1%7Cg%3A%22org.eclipse.jgit%22

Interesting.  I couldn't find the artifact from maven central earlier today but have confirmed that it is visible there now.

The download page at https://www.eclipse.org/jgit/download/ points to 4.11.0

The API documentation link from https://www.eclipse.org/jgit/documentation/ points to 4.11.0

Thanks,

Mark Waite

 

—

Thomas

_______________________________________________
jgit-dev mailing list
jgit-dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://dev.eclipse.org/mailman/listinfo/jgit-dev