Merge branch 'main' into add-custom-targets

janniks · janniks · commit 06c111f39cd4 · 2021-09-04T16:07:03.000+02:00
diff --git a/scripts/postpublish.sh b/scripts/postpublish.sh
@@ -8,7 +8,6 @@ git add --all
 git commit -m 'Update example'
 git push --tags
 
-# test: clear before github release
-clear
+echo ""
 
 gh release create $GIT_TAG -t "$GIT_TAG"
