Skip to content
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

Fix the broken Android mirror link #902

Merged
merged 7 commits into from
Nov 3, 2020
Merged

Fix the broken Android mirror link #902

merged 7 commits into from
Nov 3, 2020

Conversation

Trumeet
Copy link
Contributor

@Trumeet Trumeet commented Oct 29, 2020

The AOSP mirror was moved some years ago, and was no longer github.com/android but rather github.com/aosp-mirror. The github.com/android organization nowadays is not a mirror.

Why:

The link to Android mirror was moved some years ago. The original Android mirror (github.com/android) was migrated to github.com/aosp-mirror, but there is no according updates on this document.

See also: #901

What's being changed:

I updated the AOSP Mirror link.

Check off the following:

The AOSP mirror was moved some years ago, and was no longer github.com/android but rather github.com/aosp-mirror. The github.com/android organization nowadays is not a mirror.
@janiceilene
Copy link
Contributor

Thanks for opening a PR @Trumeet! I'll get this triaged for review ⚡

@janiceilene janiceilene added content This issue or pull request belongs to the Docs Content team core hacktoberfest-accepted We might not merge this PR before Nov 1st, but it's a wonderful Hacktoberfest contribution! labels Oct 30, 2020
@hubwriter hubwriter self-assigned this Nov 2, 2020
I've updated the linked names of the repos to match the names of the repos that are displayed when you click through to them.
@hubwriter
Copy link
Contributor

@Trumeet - That's great. Many thanks for spotting/fixing this. 👍

I've made a little update, just to make the text of the links match the actual repo names.
Thanks again for helping to improve the GitHub documentation. We'll get this merged very soon.

@hubwriter hubwriter merged commit 0f07801 into github:main Nov 3, 2020
@github-actions
Copy link
Contributor

github-actions bot commented Nov 3, 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.

@Trumeet Trumeet deleted the patch-1 branch November 3, 2020 21:08
jnidzwetzki pushed a commit to jnidzwetzki/docs that referenced this pull request Oct 6, 2022
Co-authored-by: Lana Brindley <github@lanabrindley.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
content This issue or pull request belongs to the Docs Content team hacktoberfest-accepted We might not merge this PR before Nov 1st, but it's a wonderful Hacktoberfest contribution!
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants