Set Gerrit to 3.0.13
Change-Id: I357791ff853b2f6ab21fe193bd341c048b894a40
diff --git a/centos/7/Dockerfile b/centos/7/Dockerfile
index d87b784..5db0c3b 100644
--- a/centos/7/Dockerfile
+++ b/centos/7/Dockerfile
@@ -10,7 +10,7 @@
# (pre-trans Gerrit script needs to have access to the Java command)
RUN yum -y install initscripts && \
yum -y install java-1.8.0-openjdk && \
- yum -y install gerrit-3.0.12-1 && \
+ yum -y install gerrit-3.0.13-1 && \
/entrypoint.sh init && \
rm -f /var/gerrit/etc/{ssh,secure}* && rm -Rf /var/gerrit/{static,index,logs,data,index,cache,git,db,tmp}/* && chown -R gerrit:gerrit /var/gerrit && \
yum -y clean all
diff --git a/ubuntu/18/Dockerfile b/ubuntu/18/Dockerfile
index 214cbbf..8ed0529 100644
--- a/ubuntu/18/Dockerfile
+++ b/ubuntu/18/Dockerfile
@@ -16,7 +16,7 @@
# Install OpenJDK and Gerrit in two subsequent transactions
# (pre-trans Gerrit script needs to have access to the Java command)
RUN apt-get -y install openjdk-8-jdk
-RUN apt-get -y install gerrit=3.0.12-1 && \
+RUN apt-get -y install gerrit=3.0.13-1 && \
apt-mark hold gerrit && \
/entrypoint.sh init && \
rm -f /var/gerrit/etc/{ssh,secure}* && rm -Rf /var/gerrit/{static,index,logs,data,index,cache,git,db,tmp}/* && chown -R gerrit:gerrit /var/gerrit
