update README.md

dpprdan · dpprdan · commit f7f389b40a69 · 2023-01-19T18:21:26.000+01:00
diff --git 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
