8000 repo sync by Octomerger · Pull Request #13995 · github/docs · GitHub
[go: up one dir, main page]

Skip to content

repo sync #13995

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 3 commits into from
Jan 12, 2022
Merged

repo sync #13995

merged 3 commits into from
Jan 12, 2022

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!

skedwards88 and others added 2 commits January 12, 2022 15:21
)

* udpate number of repositories button appears for

* update wording

* undo change from updating branch

* add missing image files

* bring over changes to reusable

* fix failing test

* Apply suggestions from code review

Co-authored-by: Ethan Palm <56270045+ethanpalm@users.noreply.github.com>
@Octomerger Octomerger added the automated-reposync-pr Auto label for repo sync label Jan 12, 2022
@github-actions github-actions bot locked as spam and limited conversation to collaborators Jan 12, 2022
@Octomerger Octomerger enabled auto-merge January 12, 2022 23:50
@github-actions github-actions bot temporarily deployed to docs-13995--repo-sync January 12, 2022 23:57 Inactive
@Octomerger Octomerger merged commit e718afe into main Jan 12, 2022
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
0