From f7f389b40a690a5cba89b9f5d8d8dd9976ebd30d Mon Sep 17 00:00:00 2001
From: Daniel Possenriede <possenriede@gmail.com>
Date: Thu, 19 Jan 2023 18:21:26 +0100
Subject: [PATCH] update README.md

---
 examples/README.md | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/examples/README.md b/examples/README.md
index 6b742b218..bb8fb045f 100644
--- a/examples/README.md
+++ b/examples/README.md
@@ -569,8 +569,6 @@ branch.
 on:
   push:
     paths: ["R/**"]
-  pull_request:
-    paths: ["R/**"]
 
 name: Document
 
@@ -604,7 +602,7 @@ jobs:
         run: |
           git config --local user.name "$GITHUB_ACTOR"
           git config --local user.email "$GITHUB_ACTOR@users.noreply.github.com"
-          git add man/\* NAMESPACE
+          git add man/\* NAMESPACE DESCRIPTION
           git commit -m "Update documentation" || echo "No changes to commit"
           git pull --ff-only
           git push origin