haskellfoundation#23 Make a site deployment per branch

Author: visortelle

.github/workflows/deploy.sh

@@ -28,10 +28,8 @@ rm -rf "${site_dest}"
 mkdir -p "${site_dest}"
 cp -a -v "${site_src}" "${site_dest}"
 
-#  Commit
 git add --all
 git commit --allow-empty -m "[$(date '+%F %T %Z')] Updated site for the '${git_branch}' branch [ci skip]"
-# Push
-git push --force --quiet origin gh-pages >/dev/null 2>&1
+git push --force origin gh-pages
 
 echo "Deployment finished"