Delete redundant tag_release.sh

pull/998/head
Disconnect3d 4 years ago committed by GitHub
parent eec6f741c7
commit 608462db57
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -1,14 +0,0 @@
#!/bin/sh
set -ex
DATE=$(which gdate || which date)
git fetch --all
TAG=$($DATE '+%Y.%m.%d')
if git tag -a $TAG -m "Add release $TAG" origin/stable; then
git push origin $TAG
fi
Loading…
Cancel
Save