Skip to content

repo sync - #18320

Merged
Octomerger merged 1 commit into
mainfrom
repo-sync
May 30, 2022
Merged

repo sync#18320
Octomerger merged 1 commit into
mainfrom
repo-sync

Conversation

@Octomerger

Copy link
Copy Markdown
Contributor

This is an automated pull request to sync changes between the public and private repos.

🤖 This pull request should be merged (not squashed) to preserve continuity across repos, so please let a bot do the merging!

* Update OpenAPI Descriptions
* Add decorated OpenAPI schema files
Co-authored-by: github-openapi-bot <github-openapi-bot@users.noreply.github.com>
Co-authored-by: hubwriter <hubwriter@github.com>
@OctomergerOctomerger added the automated-reposync-pr Auto label for repo sync label May 30, 2022
@github-actionsgithub-actionsBot locked as spam and limited conversation to collaborators May 30, 2022
@Octomerger
Octomerger enabled auto-merge May 30, 2022 09:22
@github-actionsgithub-actionsBot added the triage Do not begin working on this issue until triaged by the team label May 30, 2022
github-actions[bot]
github-actionsBot previously approved these changes May 30, 2022
Sign up for freeto subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

automated-reposync-prAuto label for repo synctriageDo not begin working on this issue until triaged by the team

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

@Octomerger@github-openapi-bot