Skip to content

repo sync - #15942

Merged
Octomerger merged 7 commits into
mainfrom
repo-sync
Feb 28, 2022
Merged

repo sync#15942
Octomerger merged 7 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 ownerFebruary 28, 2022 17:32
@OctomergerOctomerger added the automated-reposync-pr Auto label for repo sync label Feb 28, 2022
@github-actionsgithub-actionsBot locked as spam and limited conversation to collaborators Feb 28, 2022
@github-actionsgithub-actionsBot added the triage Do not begin working on this issue until triaged by the team label Feb 28, 2022
@Octomerger
Octomerger merged commit c840a72 into mainFeb 28, 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.

5 participants

@Octomerger@rachmari@peterbe@docubot@lecoursen