diff --git a/.github/workflows/Release.yml b/.github/workflows/Release.yml
index 4947d3b..398a0b2 100644
--- 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
\ No newline at end of file
+        git push origin HEAD:master
\ No newline at end of file
diff --git a/documentation/NEXT_RELEASENOTES.txt b/documentation/NEXT_RELEASENOTES.txt
index 4774c0b..e69de29 100644
--- a/documentation/NEXT_RELEASENOTES.txt
+++ b/documentation/NEXT_RELEASENOTES.txt
@@ -1 +0,0 @@
-- added null reference type decorations
\ No newline at end of file