newer git doesnt push tags, fixed
This commit is contained in:
parent
0d50921e9d
commit
21396e66b1
1 changed files with 2 additions and 1 deletions
|
|
@ -8,4 +8,5 @@
|
|||
# see wiki/index.html#GitNotes%20GitAliases for information
|
||||
|
||||
git sign "$(git config user.email)/$(git-symbolic-ref HEAD | cut -d/ -f 3-)_signature"
|
||||
git publish
|
||||
git push --all public
|
||||
git push --tags public
|
||||
|
|
|
|||
Loading…
Reference in a new issue