ci: use git -C vc push || true in .github/workflows/gen_vc_ci.yml, …

…to prevent false positives in forked repos
kimshrier · Nov 27, 2023 · 19b055c · 19b055c
1 parent ef59808
commit 19b055c
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/gen_vc_ci.yml b/.github/workflows/gen_vc_ci.yml
@@ -46,4 +46,6 @@ jobs:
 
           # in case there are recent commits:
           git -C vc pull --rebase origin master
-          git -C vc push
+          # Note that failure below may happen, due to vlang/vc rejecting the push
+          # from forked repos; that is not usually a problem.
+          git -C vc push || true