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.
Max HeldandTing