summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEdward Thomson <ethomson@edwardthomson.com>2021-11-09 09:38:53 -0500
committerGitHub <noreply@github.com>2021-11-09 09:38:53 -0500
commit44ec8b5cdf960cfeb66284a3cd5bdd8c14aefedf (patch)
treef913c9c8dc0b660be1b7b636ee1fc5aecec714a0
parent358a60e1b46000ea99ef10b4dd709e92f75ff74b (diff)
parent51f6f15d710c39c6844ceef58efea6db93c46d61 (diff)
downloadlibgit2-44ec8b5cdf960cfeb66284a3cd5bdd8c14aefedf.tar.gz
Merge pull request #6108 from libgit2/ethomson/docs_ci
ci: only update docs on push
-rw-r--r--.github/workflows/main.yml2
1 files changed, 1 insertions, 1 deletions
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'