Introducing GitHub's OpenAPI Description