15 lines
295 B
Plaintext
15 lines
295 B
Plaintext
|
#!/usr/bin/env bash
|
||
|
|
|
||
|
|
if [[ "$1" == "" ]]; then
|
||
|
|
echo "Usage: ${0##*/} <sha=HEAD>"; exit 2
|
||
|
|
fi
|
||
|
|
|
||
|
|
set -euo pipefail
|
||
|
|
|
||
|
|
commit_sha="${1:-HEAD}"
|
||
|
|
tag="$(date '+%Y-%m-%d-%H.%M.%S')"
|
||
|
|
|
||
|
|
# Tag the appropriate commit and push to the remote.
|
||
|
|
git tag "${tag}" "${commit_sha}"
|
||
|
|
git push origin "refs/tags/${tag}"
|