mirror of
https://github.com/fluencelabs/lalrpop
synced 2025-04-25 03:02:15 +00:00
Push tag to upstream as well
This commit is contained in:
parent
0a02931960
commit
7f071a375b
@ -41,6 +41,7 @@ publish lalrpop
|
|||||||
|
|
||||||
git tag $VERSION
|
git tag $VERSION
|
||||||
git push origin tag $VERSION
|
git push origin tag $VERSION
|
||||||
|
git push upstream tag $VERSION || true
|
||||||
|
|
||||||
printf "Updated version in docs etc..."
|
printf "Updated version in docs etc..."
|
||||||
perl -p -i -e 's/^version = "[0-9.]+"$/version = "'$VERSION'"/' \
|
perl -p -i -e 's/^version = "[0-9.]+"$/version = "'$VERSION'"/' \
|
||||||
|
Loading…
x
Reference in New Issue
Block a user