Add a github workflow to run the gh-release.sh script from github actions

this would allow a developer to publish release to github by running the workflow
and not having to run the script from her computer, it currently doesnot handle
the notable changes section of the release notes, that needs to be manually added
by editing the release after its published

Author: anjannath

.github/workflows/release.yml

@@ -0,0 +1,17 @@
+name: Publish release on github
+on:
+  workflow_dispatch:
+jobs:
+  publish_release:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Check out repository code
+        uses: actions/checkout@v3
+        with:
+          fetch-depth: 0
+      - name: Prepare empty notable changes
+        run: touch notable_changes.txt
+      - name: Run gh-release.sh
+        run: NONINTERACTIVE=1 ./gh-release.sh
+        env:
+           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}