From 51f6f15d710c39c6844ceef58efea6db93c46d61 Mon Sep 17 00:00:00 2001 From: Edward Thomson Date: Tue, 9 Nov 2021 09:03:06 -0500 Subject: ci: only update docs on push Only update the documentation on a `push`. We were previously updating the documentation only when not in a `pull_request`, which meant that we would push documentation updates in manual build triggers. --- .github/workflows/main.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 572f02544..e805b1bb8 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -300,4 +300,4 @@ jobs: - name: Push documentation branch working-directory: source run: git push origin gh-pages - if: github.event_name != 'pull_request' && github.repository == 'libgit2/libgit2' + if: github.event_name == 'push' && github.repository == 'libgit2/libgit2' -- cgit v1.2.1