change default of DEVCOT_COMMUNITY_REPO to 1 (#2901)

This commit is contained in:
Georg Lauterbach 2023-01-02 13:25:14 +01:00 committed by GitHub
parent 89efafe00c
commit 1fd407b3d0
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -10,7 +10,7 @@
FROM docker.io/debian:11-slim AS stage-base FROM docker.io/debian:11-slim AS stage-base
ARG DEBIAN_FRONTEND=noninteractive ARG DEBIAN_FRONTEND=noninteractive
ARG DOVECOT_COMMUNITY_REPO=0 ARG DOVECOT_COMMUNITY_REPO=1
ARG LOG_LEVEL=trace ARG LOG_LEVEL=trace
SHELL ["/bin/bash", "-e", "-o", "pipefail", "-c"] SHELL ["/bin/bash", "-e", "-o", "pipefail", "-c"]