run git pull before any tag operation, if not pulled later push will fail anyway
This commit is contained in:
parent
e8068c2757
commit
c17a5a1a76
Loading…
Reference in a new issue