Skip to content

repo sync - #18329

Merged
Octomerger merged 8 commits into
mainfrom
repo-sync
May 30, 2022
Merged

repo sync#18329
Octomerger merged 8 commits 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!

@Octomerger
Octomerger requested a review from a team as a code ownerMay 30, 2022 21:49
@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 21:49
@github-actionsgithub-actionsBot added the triage Do not begin working on this issue until triaged by the team label May 30, 2022
@Octomerger
Octomerger merged commit f89e910 into mainMay 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@brannon