4 ms·
GitHub Enterprise has push logs. https://docs.github.com/en/enterprise-server@3.2/admin/monitoring-activity-in-your-enterprise/exploring-user-activity/viewing-
by gtirloni 5y ago
GitHub Enterprise has push logs.
https://docs.github.com/en/enterprise-server@3.2/admin/monitoring-activity-in-your-enterprise/exploring-user-activity/viewing-push-logs https://docs.github.com/en/enterprise-server@3.2/admin/monit...
- macintux 5y agoDo you know whether that's available via GitHub proper? I'd like the user identity for commits to be accessible through the API, but last I checked it wasn't. (Updated for clarification: user identity is available via the API, but only the identity embedded in git itself, not the GitHub authenticated user.)