Skip to content

repo sync - #18176

Merged
Octomerger merged 2 commits into
mainfrom
repo-sync
May 24, 2022
Merged

repo sync#18176
Octomerger merged 2 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!

* Update theme context docs
* Update example description
* Update content/get-started/writing-on-github/getting-started-with-writing-and-formatting-on-github/basic-writing-and-formatting-syntax.md
* Update content/get-started/writing-on-github/getting-started-with-writing-and-formatting-on-github/basic-writing-and-formatting-syntax.md
* Update content/get-started/writing-on-github/getting-started-with-writing-and-formatting-on-github/basic-writing-and-formatting-syntax.md
Co-authored-by: hubwriter <hubwriter@github.com>
@OctomergerOctomerger added the automated-reposync-pr Auto label for repo sync label May 24, 2022
@github-actionsgithub-actionsBot locked as spam and limited conversation to collaborators May 24, 2022
@Octomerger
Octomerger enabled auto-merge May 24, 2022 12:24
@github-actionsgithub-actionsBot added the triage Do not begin working on this issue until triaged by the team label May 24, 2022
@Octomerger
Octomerger merged commit 9cdb80f into mainMay 24, 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.

4 participants

@Octomerger@elvey@Griffin641498@dipree