2019-06-11 06:29:10 +02:00
|
|
|
#!/usr/bin/env bash
|
2019-02-14 20:27:40 +01:00
|
|
|
|
2019-11-06 06:52:18 +01:00
|
|
|
SCRIPT_NAME=$(basename "$0")
|
2019-09-10 04:14:49 +02:00
|
|
|
|
|
|
|
function usage()
|
|
|
|
{
|
|
|
|
if [ "$TOR_PUSH_SAME" ]; then
|
|
|
|
CURRENT_PUSH_SAME="push"
|
|
|
|
else
|
|
|
|
CURRENT_PUSH_SAME="skip"
|
|
|
|
fi
|
|
|
|
|
|
|
|
echo "$SCRIPT_NAME [-h] [-r <remote-name> [-t <test-branch-prefix>]] [-s]"
|
|
|
|
# The next line looks misaligned, but it lines up in the output
|
|
|
|
echo " [-- [-n] [--no-atomic] <git push options>]"
|
|
|
|
echo
|
|
|
|
echo " arguments:"
|
|
|
|
echo " -h: show this help text"
|
|
|
|
echo " -n: dry run mode"
|
|
|
|
echo " (default: run commands)"
|
|
|
|
echo " -r: push to remote-name, rather than the default upstream remote."
|
|
|
|
echo " (default: $DEFAULT_UPSTREAM_REMOTE, current: $UPSTREAM_REMOTE)"
|
|
|
|
echo " -t: test branch mode: push test branches to remote-name. Pushes"
|
|
|
|
echo " branches prefix_029, prefix_035, ... , prefix_master."
|
|
|
|
echo " (default: push maint-*, release-*, and master)"
|
|
|
|
echo " -s: push branches whose tips match upstream maint, release, or"
|
|
|
|
echo " master branches. The default is to skip these branches,"
|
|
|
|
echo " because they do not contain any new code. Use -s to test for"
|
|
|
|
echo " CI environment failures, using code that previously passed CI."
|
|
|
|
echo " (default: skip; current: $CURRENT_PUSH_SAME matching branches)"
|
|
|
|
echo " --: pass further arguments to git push."
|
2019-10-23 04:58:15 +02:00
|
|
|
echo " All unrecognised arguments are passed to git push, but complex"
|
|
|
|
echo " arguments before -- may be mangled by getopt."
|
2019-09-10 04:14:49 +02:00
|
|
|
echo " (default: git push --atomic, current: $GIT_PUSH)"
|
|
|
|
echo
|
|
|
|
echo " env vars:"
|
|
|
|
echo " optional:"
|
|
|
|
echo " TOR_GIT_PUSH_PATH: change to this directory before pushing."
|
|
|
|
echo " (default: if \$TOR_FULL_GIT_PATH is set,"
|
|
|
|
echo " use \$TOR_FULL_GIT_PATH/\$TOR_MASTER;"
|
|
|
|
echo " Otherwise, use the current directory for pushes;"
|
|
|
|
echo " current: $TOR_GIT_PUSH_PATH)"
|
|
|
|
echo " TOR_FULL_GIT_PATH: where the git repository directories reside."
|
|
|
|
echo " We recommend using \$HOME/git/."
|
|
|
|
echo " (default: use the current directory for pushes;"
|
|
|
|
echo " current: $TOR_FULL_GIT_PATH)"
|
|
|
|
echo " TOR_MASTER: the name of the directory containing the tor.git clone"
|
|
|
|
echo " The tor master git directory is \$GIT_PATH/\$TOR_MASTER"
|
|
|
|
echo " (default: tor; current: $TOR_MASTER_NAME)"
|
|
|
|
echo
|
|
|
|
echo " TOR_UPSTREAM_REMOTE_NAME: the default upstream remote."
|
|
|
|
echo " Overridden by -r."
|
|
|
|
echo " (default: upstream; current: $UPSTREAM_REMOTE)"
|
|
|
|
echo " TOR_GIT_PUSH: the git push command and default arguments."
|
|
|
|
echo " Overridden by <git push options> after --."
|
|
|
|
echo " (default: git push --atomic; current: $GIT_PUSH)"
|
|
|
|
echo " TOR_PUSH_SAME: push branches whose tips match upstream maint,"
|
|
|
|
echo " release, or master branches. Inverted by -s."
|
|
|
|
echo " (default: skip; current: $CURRENT_PUSH_SAME matching branches)"
|
|
|
|
echo " TOR_PUSH_DELAY: pushes the master and maint branches separately,"
|
|
|
|
echo " so that CI runs in a sensible order."
|
|
|
|
echo " (default: push all branches immediately; current: $PUSH_DELAY)"
|
|
|
|
echo " we recommend that you set these env vars in your ~/.profile"
|
|
|
|
}
|
2019-08-08 04:33:42 +02:00
|
|
|
|
|
|
|
set -e
|
|
|
|
|
2019-08-08 16:14:11 +02:00
|
|
|
#################
|
|
|
|
# Configuration #
|
|
|
|
#################
|
|
|
|
|
|
|
|
# Don't change this configuration - set the env vars in your .profile
|
|
|
|
#
|
2019-09-10 04:07:13 +02:00
|
|
|
# The tor master git repository directory from which all the worktree have
|
|
|
|
# been created.
|
|
|
|
TOR_MASTER_NAME=${TOR_MASTER_NAME:-"tor"}
|
|
|
|
# Which directory do we push from?
|
|
|
|
if [ "$TOR_FULL_GIT_PATH" ]; then
|
|
|
|
TOR_GIT_PUSH_PATH=${TOR_GIT_PUSH_PATH:-"$TOR_FULL_GIT_PATH/$TOR_MASTER_NAME"}
|
|
|
|
fi
|
2019-08-12 03:10:12 +02:00
|
|
|
# git push command and default arguments
|
|
|
|
GIT_PUSH=${TOR_GIT_PUSH:-"git push --atomic"}
|
2019-08-08 04:33:42 +02:00
|
|
|
# The upstream remote which git.torproject.org/tor.git points to.
|
2019-08-12 03:12:41 +02:00
|
|
|
DEFAULT_UPSTREAM_REMOTE=${TOR_UPSTREAM_REMOTE_NAME:-"upstream"}
|
|
|
|
# Push to a different upstream remote using -r <remote-name>
|
|
|
|
UPSTREAM_REMOTE=${DEFAULT_UPSTREAM_REMOTE}
|
2019-08-08 04:33:42 +02:00
|
|
|
# Add a delay between pushes, so CI runs on the most important branches first
|
|
|
|
PUSH_DELAY=${TOR_PUSH_DELAY:-0}
|
2019-08-12 03:12:41 +02:00
|
|
|
# Push (1) or skip (0) test branches that are the same as an upstream
|
|
|
|
# maint/master branch. Push if you are testing that the CI environment still
|
|
|
|
# works on old code, skip if you are testing new code in the branch.
|
|
|
|
# Default: skip unchanged branches.
|
|
|
|
# Inverted by the -s option.
|
|
|
|
PUSH_SAME=${TOR_PUSH_SAME:-0}
|
2019-08-08 04:33:42 +02:00
|
|
|
|
2019-08-08 16:18:56 +02:00
|
|
|
#######################
|
|
|
|
# Argument processing #
|
|
|
|
#######################
|
|
|
|
|
|
|
|
# Controlled by the -t <test-branch-prefix> option. The test branch base
|
|
|
|
# name option makes git-merge-forward.sh create new test branches:
|
|
|
|
# <tbbn>_029, <tbbn>_035, ... , <tbbn>_master, and merge forward.
|
|
|
|
TEST_BRANCH_PREFIX=
|
|
|
|
|
2019-09-10 04:14:49 +02:00
|
|
|
while getopts ":hr:st:" opt; do
|
2019-08-08 16:18:56 +02:00
|
|
|
case "$opt" in
|
2019-09-10 04:14:49 +02:00
|
|
|
h) usage
|
|
|
|
exit 0
|
|
|
|
;;
|
2019-08-08 16:18:56 +02:00
|
|
|
r) UPSTREAM_REMOTE="$OPTARG"
|
|
|
|
echo " *** PUSHING TO REMOTE: ${UPSTREAM_REMOTE} ***"
|
|
|
|
shift
|
|
|
|
shift
|
2019-08-29 15:05:56 +02:00
|
|
|
OPTIND=$((OPTIND - 2))
|
2019-08-08 16:18:56 +02:00
|
|
|
;;
|
2019-08-29 15:05:56 +02:00
|
|
|
s) PUSH_SAME=$((! PUSH_SAME))
|
2019-08-12 03:12:41 +02:00
|
|
|
if [ "$PUSH_SAME" -eq 0 ]; then
|
|
|
|
echo " *** SKIPPING UNCHANGED TEST BRANCHES ***"
|
|
|
|
else
|
|
|
|
echo " *** PUSHING UNCHANGED TEST BRANCHES ***"
|
|
|
|
fi
|
|
|
|
shift
|
2019-08-29 15:05:56 +02:00
|
|
|
OPTIND=$((OPTIND - 1))
|
2019-08-12 03:12:41 +02:00
|
|
|
;;
|
2019-08-08 16:18:56 +02:00
|
|
|
t) TEST_BRANCH_PREFIX="$OPTARG"
|
|
|
|
echo " *** PUSHING TEST BRANCHES: ${TEST_BRANCH_PREFIX}_nnn ***"
|
|
|
|
shift
|
|
|
|
shift
|
2019-08-29 15:05:56 +02:00
|
|
|
OPTIND=$((OPTIND - 2))
|
2019-08-08 16:18:56 +02:00
|
|
|
;;
|
|
|
|
*)
|
2019-10-23 04:58:15 +02:00
|
|
|
# Make git push handle the option
|
|
|
|
# This might mangle options with spaces, use -- for complex options
|
|
|
|
GIT_PUSH="$GIT_PUSH $1"
|
|
|
|
shift
|
|
|
|
OPTIND=$((OPTIND - 1))
|
2019-08-08 16:18:56 +02:00
|
|
|
;;
|
|
|
|
esac
|
|
|
|
done
|
|
|
|
|
2019-08-12 03:10:12 +02:00
|
|
|
# getopts doesn't allow "-" as an option character,
|
|
|
|
# so we have to handle -- manually
|
|
|
|
if [ "$1" = "--" ]; then
|
|
|
|
shift
|
|
|
|
fi
|
|
|
|
|
2019-08-08 16:18:56 +02:00
|
|
|
if [ "$TEST_BRANCH_PREFIX" ]; then
|
2019-09-10 04:12:04 +02:00
|
|
|
if [ "$UPSTREAM_REMOTE" = "$DEFAULT_UPSTREAM_REMOTE" ]; then
|
2019-08-08 16:18:56 +02:00
|
|
|
echo "Pushing test branches ${TEST_BRANCH_PREFIX}_nnn to " \
|
2019-09-10 04:12:04 +02:00
|
|
|
"the default remote $DEFAULT_UPSTREAM_REMOTE is not allowed."
|
2019-09-10 04:14:49 +02:00
|
|
|
echo
|
|
|
|
usage
|
2019-08-08 16:18:56 +02:00
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
fi
|
|
|
|
|
2019-09-10 04:07:13 +02:00
|
|
|
if [ "$TOR_GIT_PUSH_PATH" ]; then
|
2019-10-23 05:00:35 +02:00
|
|
|
echo "Changing to $TOR_GIT_PUSH_PATH before pushing"
|
2019-09-10 04:07:13 +02:00
|
|
|
cd "$TOR_GIT_PUSH_PATH"
|
|
|
|
else
|
|
|
|
echo "Pushing from the current directory"
|
|
|
|
fi
|
|
|
|
|
|
|
|
echo "Calling $GIT_PUSH" "$@" "<branches>"
|
|
|
|
|
2019-08-12 03:12:41 +02:00
|
|
|
################################
|
|
|
|
# Git upstream remote branches #
|
|
|
|
################################
|
|
|
|
|
|
|
|
DEFAULT_UPSTREAM_BRANCHES=
|
|
|
|
if [ "$DEFAULT_UPSTREAM_REMOTE" != "$UPSTREAM_REMOTE" ]; then
|
2019-08-29 15:05:56 +02:00
|
|
|
DEFAULT_UPSTREAM_BRANCHES=$(echo \
|
|
|
|
"$DEFAULT_UPSTREAM_REMOTE"/master \
|
2019-10-11 23:26:34 +02:00
|
|
|
"$DEFAULT_UPSTREAM_REMOTE"/{release,maint}-0.4.2 \
|
2019-08-29 15:05:56 +02:00
|
|
|
"$DEFAULT_UPSTREAM_REMOTE"/{release,maint}-0.4.1 \
|
|
|
|
"$DEFAULT_UPSTREAM_REMOTE"/{release,maint}-0.4.0 \
|
|
|
|
"$DEFAULT_UPSTREAM_REMOTE"/{release,maint}-0.3.5 \
|
|
|
|
"$DEFAULT_UPSTREAM_REMOTE"/{release,maint}-0.2.9 \
|
|
|
|
)
|
2019-08-12 03:12:41 +02:00
|
|
|
fi
|
|
|
|
|
2019-08-29 15:05:56 +02:00
|
|
|
UPSTREAM_BRANCHES=$(echo \
|
|
|
|
"$UPSTREAM_REMOTE"/master \
|
2019-10-11 23:26:34 +02:00
|
|
|
"$UPSTREAM_REMOTE"/{release,maint}-0.4.2 \
|
2019-08-29 15:05:56 +02:00
|
|
|
"$UPSTREAM_REMOTE"/{release,maint}-0.4.1 \
|
|
|
|
"$UPSTREAM_REMOTE"/{release,maint}-0.4.0 \
|
|
|
|
"$UPSTREAM_REMOTE"/{release,maint}-0.3.5 \
|
|
|
|
"$UPSTREAM_REMOTE"/{release,maint}-0.2.9 \
|
|
|
|
)
|
2019-08-12 03:12:41 +02:00
|
|
|
|
2019-08-08 16:14:11 +02:00
|
|
|
########################
|
|
|
|
# Git branches to push #
|
|
|
|
########################
|
|
|
|
|
2019-08-26 15:58:38 +02:00
|
|
|
PUSH_BRANCHES=$(echo \
|
2019-08-08 04:33:42 +02:00
|
|
|
master \
|
2019-10-11 23:26:34 +02:00
|
|
|
{release,maint}-0.4.2 \
|
2019-08-08 04:33:42 +02:00
|
|
|
{release,maint}-0.4.1 \
|
|
|
|
{release,maint}-0.4.0 \
|
|
|
|
{release,maint}-0.3.5 \
|
|
|
|
{release,maint}-0.2.9 \
|
2019-08-26 15:58:38 +02:00
|
|
|
)
|
2019-08-08 04:33:42 +02:00
|
|
|
|
2019-08-08 16:18:56 +02:00
|
|
|
if [ -z "$TEST_BRANCH_PREFIX" ]; then
|
|
|
|
|
|
|
|
# maint/release push mode
|
|
|
|
#
|
|
|
|
# List of branches to push. Ordering is not important.
|
|
|
|
PUSH_BRANCHES=$(echo \
|
|
|
|
master \
|
2019-10-11 23:26:34 +02:00
|
|
|
{release,maint}-0.4.2 \
|
2019-08-08 16:18:56 +02:00
|
|
|
{release,maint}-0.4.1 \
|
|
|
|
{release,maint}-0.4.0 \
|
|
|
|
{release,maint}-0.3.5 \
|
|
|
|
{release,maint}-0.2.9 \
|
|
|
|
)
|
|
|
|
else
|
|
|
|
|
|
|
|
# Test branch mode: merge to maint only, and create a new branch for 0.2.9
|
|
|
|
#
|
|
|
|
# List of branches to push. Ordering is not important.
|
2019-08-29 15:05:56 +02:00
|
|
|
PUSH_BRANCHES=" \
|
2019-08-08 16:18:56 +02:00
|
|
|
${TEST_BRANCH_PREFIX}_master \
|
2019-10-11 23:26:34 +02:00
|
|
|
${TEST_BRANCH_PREFIX}_042 \
|
2019-08-08 16:18:56 +02:00
|
|
|
${TEST_BRANCH_PREFIX}_041 \
|
|
|
|
${TEST_BRANCH_PREFIX}_040 \
|
|
|
|
${TEST_BRANCH_PREFIX}_035 \
|
|
|
|
${TEST_BRANCH_PREFIX}_029 \
|
2019-08-29 15:05:56 +02:00
|
|
|
"
|
2019-08-08 16:18:56 +02:00
|
|
|
fi
|
|
|
|
|
2019-08-08 16:14:11 +02:00
|
|
|
###############
|
|
|
|
# Entry point #
|
|
|
|
###############
|
|
|
|
|
2019-10-23 05:26:07 +02:00
|
|
|
if [ "$TEST_BRANCH_PREFIX" ]; then
|
|
|
|
# Skip the test branches that are the same as the default or current
|
|
|
|
# upstream branches (they have already been tested)
|
|
|
|
UPSTREAM_SKIP_SAME_AS="$UPSTREAM_BRANCHES $DEFAULT_UPSTREAM_BRANCHES"
|
|
|
|
else
|
|
|
|
# Skip the local maint-*, release-*, master branches that are the same as the
|
|
|
|
# current upstream branches, but ignore the default upstream
|
|
|
|
# (we want to update a non-default remote, even if it matches the default)
|
|
|
|
UPSTREAM_SKIP_SAME_AS="$UPSTREAM_BRANCHES"
|
|
|
|
fi
|
|
|
|
|
|
|
|
# Skip branches that match the relevant upstream(s)
|
|
|
|
if [ "$PUSH_SAME" -eq 0 ]; then
|
2019-08-12 03:12:41 +02:00
|
|
|
NEW_PUSH_BRANCHES=
|
|
|
|
for b in $PUSH_BRANCHES; do
|
2019-08-29 15:05:56 +02:00
|
|
|
PUSH_COMMIT=$(git rev-parse "$b")
|
2019-08-12 03:12:41 +02:00
|
|
|
SKIP_UPSTREAM=
|
2019-10-23 05:26:07 +02:00
|
|
|
for u in $UPSTREAM_SKIP_SAME_AS; do
|
2019-08-29 15:05:56 +02:00
|
|
|
UPSTREAM_COMMIT=$(git rev-parse "$u")
|
2019-08-12 03:12:41 +02:00
|
|
|
if [ "$PUSH_COMMIT" = "$UPSTREAM_COMMIT" ]; then
|
|
|
|
SKIP_UPSTREAM="$u"
|
|
|
|
fi
|
|
|
|
done
|
|
|
|
if [ "$SKIP_UPSTREAM" ]; then
|
2019-11-06 07:14:06 +01:00
|
|
|
printf "Skipping unchanged: %s matching remote: %s\\n" \
|
2019-08-12 03:12:41 +02:00
|
|
|
"$b" "$SKIP_UPSTREAM"
|
|
|
|
else
|
|
|
|
if [ "$NEW_PUSH_BRANCHES" ]; then
|
|
|
|
NEW_PUSH_BRANCHES="${NEW_PUSH_BRANCHES} ${b}"
|
|
|
|
else
|
|
|
|
NEW_PUSH_BRANCHES="${b}"
|
|
|
|
fi
|
|
|
|
fi
|
|
|
|
done
|
|
|
|
PUSH_BRANCHES=${NEW_PUSH_BRANCHES}
|
|
|
|
fi
|
|
|
|
|
2019-10-23 05:26:07 +02:00
|
|
|
if [ ! "$PUSH_BRANCHES" ]; then
|
|
|
|
echo "No branches to push!"
|
|
|
|
# We expect the rest of the script to run without errors, even if there
|
|
|
|
# are no branches
|
|
|
|
fi
|
|
|
|
|
2019-08-08 04:33:42 +02:00
|
|
|
if [ "$PUSH_DELAY" -le 0 ]; then
|
|
|
|
echo "Pushing $PUSH_BRANCHES"
|
2019-08-26 15:58:38 +02:00
|
|
|
# We know that there are no spaces in any branch within $PUSH_BRANCHES, so
|
|
|
|
# it is safe to use it unquoted. (This also applies to the other shellcheck
|
|
|
|
# exceptions below.)
|
|
|
|
#
|
2019-08-12 03:10:12 +02:00
|
|
|
# Push all the branches at the same time
|
2019-08-26 15:58:38 +02:00
|
|
|
# shellcheck disable=SC2086
|
2019-08-12 03:10:12 +02:00
|
|
|
$GIT_PUSH "$@" "$UPSTREAM_REMOTE" $PUSH_BRANCHES
|
2019-08-08 04:33:42 +02:00
|
|
|
else
|
2019-08-12 03:10:12 +02:00
|
|
|
# Push the branches in optimal CI order, with a delay between each push
|
2019-11-06 06:52:18 +01:00
|
|
|
PUSH_BRANCHES=$(echo "$PUSH_BRANCHES" | tr " " "\\n" | sort -V)
|
2019-11-06 07:14:06 +01:00
|
|
|
MASTER_BRANCH=$(echo "$PUSH_BRANCHES" | tr " " "\\n" | grep master) \
|
2019-10-23 05:26:07 +02:00
|
|
|
|| true # Skipped master branch
|
2019-08-08 16:18:56 +02:00
|
|
|
if [ -z "$TEST_BRANCH_PREFIX" ]; then
|
2019-11-06 07:14:06 +01:00
|
|
|
MAINT_BRANCHES=$(echo "$PUSH_BRANCHES" | tr " " "\\n" | grep maint) \
|
2019-10-23 05:26:07 +02:00
|
|
|
|| true # Skipped all maint branches
|
2019-11-06 06:52:18 +01:00
|
|
|
RELEASE_BRANCHES=$(echo "$PUSH_BRANCHES" | tr " " "\\n" | grep release | \
|
2019-11-06 07:14:06 +01:00
|
|
|
tr "\\n" " ") || true # Skipped all release branches
|
2019-08-08 16:18:56 +02:00
|
|
|
else
|
|
|
|
# Actually test branches based on maint branches
|
2019-11-06 07:14:06 +01:00
|
|
|
MAINT_BRANCHES=$(echo "$PUSH_BRANCHES" | tr " " "\\n" | grep -v master) \
|
2019-10-23 05:26:07 +02:00
|
|
|
|| true # Skipped all maint test branches
|
2019-08-08 16:18:56 +02:00
|
|
|
# No release branches
|
|
|
|
RELEASE_BRANCHES=
|
|
|
|
fi
|
2019-10-23 05:26:07 +02:00
|
|
|
if [ "$MASTER_BRANCH" ] || [ "$MAINT_BRANCHES" ] \
|
|
|
|
|| [ "$RELEASE_BRANCHES" ]; then
|
2019-11-06 07:00:50 +01:00
|
|
|
printf "Pushing with %ss delays, so CI runs in this order:\\n" \
|
|
|
|
"$PUSH_DELAY"
|
2019-10-23 05:26:07 +02:00
|
|
|
if [ "$MASTER_BRANCH" ]; then
|
2019-11-06 07:00:50 +01:00
|
|
|
printf "%s\\n" "$MASTER_BRANCH"
|
2019-10-23 05:26:07 +02:00
|
|
|
fi
|
|
|
|
if [ "$MAINT_BRANCHES" ]; then
|
2019-11-06 07:00:50 +01:00
|
|
|
printf "%s\\n" "$MAINT_BRANCHES"
|
2019-10-23 05:26:07 +02:00
|
|
|
fi
|
|
|
|
if [ "$RELEASE_BRANCHES" ]; then
|
2019-11-06 07:00:50 +01:00
|
|
|
printf "%s\\n" "$RELEASE_BRANCHES"
|
2019-10-23 05:26:07 +02:00
|
|
|
fi
|
|
|
|
fi
|
2019-08-26 15:58:38 +02:00
|
|
|
# shellcheck disable=SC2086
|
2019-10-23 05:28:37 +02:00
|
|
|
for b in $MASTER_BRANCH $MAINT_BRANCHES; do
|
2019-08-12 03:10:12 +02:00
|
|
|
$GIT_PUSH "$@" "$UPSTREAM_REMOTE" "$b"
|
2019-10-23 05:28:37 +02:00
|
|
|
# If we are pushing more than one branch, delay.
|
|
|
|
# In the unlikely scenario where we are pushing maint without master,
|
|
|
|
# or maint without release, there may be an extra delay
|
|
|
|
if [ "$MAINT_BRANCHES" ] || [ "$RELEASE_BRANCHES" ]; then
|
|
|
|
sleep "$PUSH_DELAY"
|
|
|
|
fi
|
2019-08-08 04:33:42 +02:00
|
|
|
done
|
2019-08-08 16:18:56 +02:00
|
|
|
if [ "$RELEASE_BRANCHES" ]; then
|
|
|
|
# shellcheck disable=SC2086
|
2019-08-12 03:10:12 +02:00
|
|
|
$GIT_PUSH "$@" "$UPSTREAM_REMOTE" $RELEASE_BRANCHES
|
2019-08-08 16:18:56 +02:00
|
|
|
fi
|
2019-08-08 04:33:42 +02:00
|
|
|
fi
|