Fold GitHub release steps into deploy.sh#50

RaoulSchaffranek merged 1 commit into

mainruntimeverification/komet-node:mainfrom

deploy-release-lifecycleruntimeverification/komet-node:deploy-release-lifecycleCopy head branch name to clipboard