workspace_status.sh

#!/usr/bin/env bash
# Copyright (c) 2021 Digital Asset (Switzerland) GmbH and/or its affiliates. All rights reserved.
# SPDX-License-Identifier: Apache-2.0

set -euo pipefail

# This is used for building the sitemap, so we want the date of publication,
# not the date of the release commit itself, hence we don't need to look into
# LATEST to find the date of the referred commit.
echo "STABLE_VERSION_DATE $(TZ=UTC git log -n1 -s --format=%cd --date=short -- LATEST)"