* Calculate sha3 instead of sha256 for push-release. * Add pushes to the script.
license header
scripts