Git release tag for GitHub releases (command line)

Copy and paste this in the command line (change v1.7.0 to the desired tag label):

GIT_COMMITTER_DATE="$(git show develop --format=%aD | head -1)" \
git tag -a "v1.7.0" develop -m "tag v1.7.0" \
&& git push --tags origin develop \
&& git --no-pager tag --list --format='%(refname)   %(taggerdate)'

In case of error, use this to remove the tag locally and on the server:

git tag -d v1.7.0 && git push origin :refs/tags/v1.7.0