From 5b0ce83638d0259169810be7081fafbbd58c0f32 Mon Sep 17 00:00:00 2001 From: Florian Zschocke Date: Thu, 25 Nov 2021 15:28:18 +0100 Subject: docs: Update docker URL Update the URL to the Gitblit docker image to point to the `gitblit/gitblit` repository, which I now consider the official Docker repository. Also link to the Docker images on the main page. --- build.xml | 9 ++++++--- src/site/siteindex.mkd | 1 + 2 files changed, 7 insertions(+), 3 deletions(-) diff --git a/build.xml b/build.xml index 6b4e412d..02c9476d 100644 --- a/build.xml +++ b/build.xml @@ -71,6 +71,7 @@ + JDK version: ${ant.java.version} @@ -602,7 +603,7 @@ - + @@ -637,9 +638,10 @@ - + - + + @@ -1042,6 +1044,7 @@ GB_RELEASE_TAG=${project.tag} + diff --git a/src/site/siteindex.mkd b/src/site/siteindex.mkd index e3afe9b2..fc51cecf 100644 --- a/src/site/siteindex.mkd +++ b/src/site/siteindex.mkd @@ -15,6 +15,7 @@ +
-- cgit v1.2.3