Please can the WebHookPayload interface/type definition be updated to support more properties from GitHub Webhook/payloads such as Push event.

To get details about the commit/s and the files added, modified and deleted, which is useful for a linting tool to know which files to lint, as opposed to running it over an entire repository which could be quite slow if it contains lots of files.