From 17bbf39d7b3d17bd25b3185d9fed841e3180ccd3 Mon Sep 17 00:00:00 2001
From: Jamie Hewitt <jamie.hewitt15@gmail.com>
Date: Wed, 18 May 2022 15:13:34 +0300
Subject: [PATCH] Remove git error output if nothing is pushed to remote

---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 804c5f3d..4c535932 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 || echo Nothing to commit
\ No newline at end of file
+          git push origin HEAD:${branch} --force &> /dev/null