I would like to know if there’s the possibility to know when and how (which GitHub API calls, which headers) a GitHub App’s token has been used. If it’s not possible, an alternative question would be: Are there any logs of actions applied to a certain repository?: pull_request.opened, pull_request.merged, etc… and the requests details associated to it (via GitHub’s UI, via API, request header details, etc.).
To get more context, this is the issue that triggers this question: App merged a Pull Request, something that should never happen · Issue #16 · squash-commit-app/squash-commit-app · GitHub