use sourcegraph-bot-devx user to bypass branch protection

.github/workflows/artifact_check.yml

@@ -94,17 +94,15 @@ jobs:
         env:
           latest_release_tag: ${{ needs.check_release.outputs.latest_release_tag }}
         run: |
-          git config user.name github-actions
-          git config user.email github-actions@github.com
+          git config user.name sourcegraph-bot-devx
+          git config user.email 127119266+sourcegraph-bot-devx@users.noreply.github.com
 
           git add migrations
           git add TAG
           git add gql
 
           git commit -m "Add artifacts for $latest_release_tag"
-  
-      - name: Push changes
-        run: |
+          
           git push origin main
 
       - name: Create new tag
@@ -122,4 +120,4 @@ jobs:
           BODY="Automatically created release with tag $latest_release_tag."
           curl -X POST -H "Authorization: token ${{ secrets.GITHUB_TOKEN }}" \
           -d "{\"tag_name\": \"$latest_release_tag\", \"name\": \"$RELEASE_NAME\", \"body\": \"$BODY\"}" \
-          "https://api.github.com/repos/${{ github.repository }}/releases"
+          "https://api.github.com/repos/${{ github.repository }}/releases"