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

[Thomas Wolf <thomas.wolf@xxxxxxxxxx>]

On Jul 3, 2018, at 02:47, David Pursehouse <david.pursehouse@xxxxxxxxx> wrote:

On Tue, Jul 3, 2018 at 4:52 AM Thomas Wolf <thomas.wolf@xxxxxxxxxx> wrote:

I’ve managed to update the web site for 5.0.1. "Projects Overview (Maven Site)” and “online JavaDoc”

point to 5.0.0. It looks like there are no 5.0.1 versions for these,

Javadoc for 5.0.1 was not generated because there was no API change [1].

Yes, so I thought, too: https://git.eclipse.org/r/#/c/125353/

But the maven site should really be the one for 5.0.1, but I don't know why it's not there.

So I chose to point to the one for 5.0.0 for now. The alternative would a broken link, or

remove the link altogether until someone can actually put that 5.0.1 maven site on that

server.

--

Thomas