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

[Matthias Sohn <matthias.sohn@xxxxxxxxx>]

On Thu, Jul 5, 2018 at 9:36 PM Matthias Sohn <matthias.sohn@xxxxxxxxx> wrote:

On Tue 3. Jul 2018 at 14:18, Thomas Wolf <thomas.wolf@xxxxxxxxxx> wrote:

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.

I will generate the 5.0.1 site when I am back from vacation. I think it’s documented in the contributor guide though for uploading using mvn site:deploy your user needs write access to build.eclipse.org

5.0.1 site is now available at

http://download.eclipse.org/jgit/site/5.0.1.201806211838-r/project-reports.html

I updated the links from the jgit website accordingly

-Matthias