copytags

#!/bin/bash
set -euo pipefail

src=$1
dst=$2

tags=$(GIT_DIR="$1/.git" git tag | grep -E '^v\d+\.\d+\.\d+$')
for tag in $tags ; do
	date=$(GIT_DIR="$1/.git" git log --pretty=format:%aI -n1 "$tag")
	if ! GIT_DIR="$2/.git" git rev-parse -q --verify $tag >/dev/null ; then
		sha1=$(GIT_DIR="$2/.git" git rev-list -n1 --before "$date" master)
		if [[ ! -z $sha1 ]] ; then
			echo "$tag is missing, will tag $sha1"
			GIT_DIR="$2/.git" git tag -a -m "$tag" "$tag" "$sha1"
		fi
	fi
done