Attempt 7 at github release actions

.github/workflows/release_main.yml

@@ -26,6 +26,8 @@ jobs:
 
       - name: Push changes into release branch
         run: |
+          git config user.name github-actions
+          git config user.email [email protected]
           git add library/*
           git commit -m 'Merge changes from main'
           git push