tag-built.sh

#!/bin/bash

set -e

tag=$(cat build/amp.php | grep 'Version:' | sed 's/.*: //' | sed 's/-[0-9]\{8\}T[0-9]\{6\}Z-[a-f0-9]*$//')
if [[ -z "$tag" ]]; then
    echo "Error: Unable to determine tag from build/amp.php."
    exit 1
fi
if ! git rev-parse "$tag" >/dev/null 2>&1; then
    echo "Error: Tag does not exist: $tag"
    exit 2
fi

built_tag="$tag-built"
if git rev-parse "$built_tag" >/dev/null 2>&1; then
    echo "Error: Built tag already exists: $built_tag"
    exit 2
fi

if ! git diff-files --quiet || ! git diff-index --quiet --cached HEAD --; then
    echo "Error: Repo is in dirty state"
    exit 3
fi

if [[ -e built ]]; then
    rm -rf built
fi
mkdir built
git clone . built/
cd built
git checkout $tag
git rm -r $(git ls-files | sed 's:/.*::' | sort | uniq)
rsync -avz ../build/ ./
git add -A .
git commit -m "Build $tag" --no-verify
git tag "$built_tag" -m "Build $tag"
git push origin "$built_tag"
cd ..
git push origin "$built_tag"
rm -rf built

echo "Pushed tag $built_tag."
echo "See https://github.com/ampproject/amp-wp/releases/tag/$built_tag"
echo "For https://github.com/ampproject/amp-wp/releases/tag/$tag"