From 19b055c22ffd848e9fc94e126f62720d91f7197e Mon Sep 17 00:00:00 2001 From: Delyan Angelov Date: Mon, 27 Nov 2023 08:05:17 +0200 Subject: [PATCH] ci: use `git -C vc push || true` in .github/workflows/gen_vc_ci.yml, to prevent false positives in forked repos --- .github/workflows/gen_vc_ci.yml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.github/workflows/gen_vc_ci.yml b/.github/workflows/gen_vc_ci.yml index 5bddebb39bdff4..6e57914b4d56e1 100644 --- 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