Add script to generate release branches

scripts/git_add_dist

+#!/bin/bash
+
+# Copyright (c) 2013-2024 MPI-M, Luis Kornblueh, Rahul Sinha and DWD, Florian Prill. All rights reserved.
+#
+# SPDX-License-Identifier: BSD-3-Clause
+
+set -eu
+set -o pipefail
+
+script_dir=$(cd "$(dirname "$0")"; pwd)
+top_srcdir=$(cd "${script_dir}/.."; pwd)
+
+cd "${top_srcdir}"
+
+git update-index -q --refresh || {
+  echo "ERROR: failed to update git index in '${top_srcdir}'" >&2
+  exit 1
+}
+
+git diff-files --quiet || {
+  echo "ERROR: '${top_srcdir}' has unstaged changes" >&2
+  exit 1
+}
+
+git diff-index --cached --quiet HEAD -- || {
+  echo "ERROR: '${top_srcdir}' has uncommited changes" >&2
+  exit 1
+}
+
+./autogen.sh
+./configure --enable-maintainer-mode
+
+distdir='mtime-dist'
+make distdir distdir="${distdir}"
+for f in $(find "${distdir}" -type f -o -type l); do
+  git add -f "${f#"${distdir}/"}";
+done
+rm -rf "${distdir}"
+
+git status
+echo "git commit -m 'Add autogenerated Autotools files'"