Added missing origin in script

Author: vascosousamindera

.github/workflows/diagrams.yml

@@ -55,7 +55,7 @@ jobs:
         run: |
           if ! git diff --cached --quiet; then
             git commit -m "Update diagrams"
-            git push HEAD:${GITHUB_REF##*/}
+            git push origin HEAD:${GITHUB_REF##*/}
           else
             echo "No changes to SVG files"
           fi