Skip to content

repo sync#25047

Merged
Octomerger merged 3 commits intomainfrom
repo-sync
Apr 17, 2023
Merged

repo sync#25047
Octomerger merged 3 commits intomainfrom
repo-sync

Conversation

@Octomerger
Copy link
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!

Simon Engledew and others added 2 commits April 17, 2023 13:04
Co-authored-by: github-actions <github-actions@github.com>
Co-authored-by: Felicity Chapman <felicitymay@github.com>
…orter (SVN, Mercurial, TFVC) (#36378)

Co-authored-by: Tim Rogers <timrogers@github.com>
Co-authored-by: Siara <108543037+SiaraMist@users.noreply.github.com>
@Octomerger Octomerger added the automated-reposync-pr Auto label for repo sync label Apr 17, 2023
@github-actions github-actions bot locked as spam and limited conversation to collaborators Apr 17, 2023
@Octomerger Octomerger merged commit a28383d into main Apr 17, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

automated-reposync-pr Auto label for repo sync

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants