Add script to push release

This commit is contained in:
Davide 2025-02-18 09:17:38 +01:00
parent ae3a786ef5
commit 5c92120c6a
No known key found for this signature in database
GPG Key ID: A48836171C759F5E

2
scripts/push-release.sh Executable file
View File

@ -0,0 +1,2 @@
#!/bin/bash
git push && git push --tags && git push github && git push --tags github