Issue #12010: Update releasenotes to use GitHub Pages execution

checkstyle · Jul 30, 2022 · fe7f456 · fe7f456
1 parent 1c03f44
commit fe7f456
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.ci/releasenotes-gen.sh b/.ci/releasenotes-gen.sh
@@ -68,6 +68,11 @@ echo ==============================================
 cat twitter.txt
 echo ==============================================
 echo
+echo "GitHub post:"
+echo ==============================================
+cat github_post.txt
+echo ==============================================
+echo
 echo "Plain text post:"
 echo ==============================================
 cat mailing_list.txt