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 diff --git a/examples/document.yaml b/examples/document.yaml index 6ba6d7d50..6c118dde1 100644 --- a/examples/document.yaml +++ b/examples/document.yaml @@ -36,7 +36,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