[Schema Inaccuracy] events schema missing event definitions #1318
Description
Schema Inaccuracy
The events schema for GET /users/{username}/events/public is incomplete.
It is missing the PushEvent, and possibly others
Expected
For the schema to include definitions for all possible events from the Event API.
Ideally there should be a separate schema definition for each event, and the event schema is a oneOf of all of those
Reproduction Steps
curl -X GET https://api.github.com/events
curl -X GET https://api.github.com/users/USER/events
curl -X GET https://github.com/users/USER/events/public
ref: octokit/rest.js#128