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.
Please can the
WebHookPayloadinterface/type definition be updated to support more properties from GitHub Webhook/payloads such asPushevent.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.