updated releasenotes and release

Doraku · Oct 24, 2024 · 094a33a · 094a33a
1 parent d1d9055
commit 094a33a
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/.github/workflows/Release.yml b/.github/workflows/Release.yml
@@ -53,4 +53,4 @@ jobs:
         git config --local user.name "$(git log --format='%an' HEAD^!)"
         git add .
         git commit -m "Updated RELEASENOTES and documentation api"
-        git push
+        git push origin HEAD:master
diff --git a/documentation/NEXT_RELEASENOTES.txt b/documentation/NEXT_RELEASENOTES.txt
@@ -1 +0,0 @@
-- added null reference type decorations