From eb80d2fbf4bd871bc0ca02b1bdc3c4336fcf6c58 Mon Sep 17 00:00:00 2001
From: Massimiliano Pippi <m.pippi@arduino.cc>
Date: Fri, 13 Mar 2020 10:48:10 +0100
Subject: [PATCH] deploy on push

---
 .github/workflows/docs.yaml | 17 +++++++++++------
 docs/index.md               |  2 +-
 2 files changed, 12 insertions(+), 7 deletions(-)

diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
index ea72e0aec3d..fae1b248549 100644
--- a/.github/workflows/docs.yaml
+++ b/.github/workflows/docs.yaml
@@ -2,10 +2,6 @@ name: docs
 
 on:
   pull_request:
-    types:
-      - opened
-      - synchronize
-      - closed
     paths:
       # existing docs
       - 'docs/**'
@@ -15,6 +11,15 @@ on:
       - 'cli/**'
       # potential changes to gRPC documentation
       - 'rpc/**'
+  push:
+    branches:
+      - master
+    # At this day, GitHub doesn't support YAML anchors, d'oh!
+    paths:
+      - 'docs/**'
+      - 'docsgen/**'
+      - 'cli/**'
+      - 'rpc/**'
 
 jobs:
   build:
@@ -67,8 +72,8 @@ jobs:
         run: task docs:build
 
       - name: Deploy
-        # publish docs only when PR is merged
-        if: github.event.pull_request.merged == true
+        # publish docs only when PR is merged on master
+        if: github.event_name == 'push'
         uses: peaceiris/actions-gh-pages@v3
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
diff --git a/docs/index.md b/docs/index.md
index 32fd637fde9..6e6ceb58d78 100644
--- a/docs/index.md
+++ b/docs/index.md
@@ -22,4 +22,4 @@ interface of the CLI. Available services and messages are detailed in the
 [installation]: installation.md
 [Getting started guide]: getting-started.md
 [client_example]: https://github.com/arduino/arduino-cli/blob/master/client_example
-[gRPC reference]: rpc/commands
+[gRPC reference]: rpc/commands
\ No newline at end of file