diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 4c535932..68eca0cd 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -224,4 +224,4 @@ jobs:
           git commit -m "Updating CodeExamples.md"
           branch=${GITHUB_HEAD_REF#refs/heads/}
           echo Pushing changes to branch: ${branch}
-          git push origin HEAD:${branch} --force &> /dev/null
+          git push origin HEAD:${branch} --force > /dev/null 2>&1