commit d896cf13b5752be9a530888aad7c41515e6f51bc
parent a09d36e604854f6512d556e67f08afa65f4ab7ea
Author: Oscar Benedito <oscar@oscarbenedito.com>
Date:   Thu, 16 Jul 2020 15:57:42 +0200

Website deployments only if commit is signed

Diffstat:

Mwebsite-deployment/deploy-website.sh | 1+


1 file changed, 1 insertion(+), 0 deletions(-)

diff --git a/website-deployment/deploy-website.sh b/website-deployment/deploy-website.sh
@@ -24,6 +24,7 @@ FILE_DIR="$(dirname "$(realpath "$0")")"
 
 git -C $HUGO_PATH fetch origin master
 git -C $HUGO_PATH reset --hard origin/master
+git -C $HUGO_PATH verify-commit master || exit 1
 rm -rf $HUGO_PATH/public
 rm -rf $HUGO_PATH/resources
 hugo -s $HUGO_PATH --gc