* clarify language I guess this action doesn't technically make sure that my working directory is `$GITHUB_WORKSPACE`, so this might be more precise? * fix repetition
this is trivial for `on: push`, but might be helpful to remind readers that this ain't always so for other events. Hence the link to the docs.
