build: prevent build cache creating outdated docs-server images

Author: xeruf

Dockerfile

@@ -14,7 +14,7 @@ COPY --from=builder /usr/bin/caddy /usr/bin/caddy
 
 COPY Caddyfile /etc/caddy/Caddyfile
 #COPY hyperbook/.hyperbook/out /srv
-RUN git clone https://github.com/software-challenge/docs.git -b live --depth 1 /srv
+RUN git clone https://github.com/software-challenge/docs.git -b live --depth 1 /srv && echo $(date) > /srv/timestamp
 
 COPY bin/update-content.sh /
 

bin/push-production.sh

@@ -18,7 +18,7 @@ trap onkill SIGTERM
 ssh -S /tmp/ssh-ctrl-socket -O check $server || exit 1
 docker login localhost:5000 || exit 1
 
-docker build -t docs-server --build-arg GITHUB_SECRET="$GITHUB_SECRET" .
+docker build --no-cache -t docs-server --build-arg GITHUB_SECRET="$GITHUB_SECRET" .
 docker tag docs-server localhost:5000/docs-server
 docker push localhost:5000/docs-server
 ssh -S /tmp/ssh-ctrl-socket -O exit $server