The Wayback Machine - https://web.archive.org/web/20260206074011/https://github.com/github/docs/pull/255
Skip to content

repo sync#255

Merged
Octomerger merged 3 commits intomainfrom
repo-sync
Oct 8, 2020
Merged

repo sync#255
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!

@Octomerger Octomerger merged commit c7847dc into main Oct 8, 2020
@Octomerger Octomerger deleted the repo-sync branch October 8, 2020 10:08
@Octomerger Octomerger restored the repo-sync branch October 8, 2020 10:10
@github-actions
Copy link
Contributor

github-actions bot commented Oct 8, 2020

Thanks very much for contributing! Your pull request has been merged 🎉 You should see your changes appear on the site in approximately 24 hours. To add your ✨ contribution to the README.md, create a new comment in this PR with:

@all-contributors please add @Octomerger for docs

If you want to, you can use the emoji key to replace docs with a different contribution type.

@allcontributors
Copy link
Contributor

@github-actions[bot]

I could not determine your intention.

Basic usage: @all-contributors please add @Someone for code, doc and infra

For other usages see the documentation

jnidzwetzki pushed a commit to jnidzwetzki/docs that referenced this pull request Oct 6, 2022
* Add missing titles

* Start adding metadata

* Add metadata for remaining entries
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

1 participant