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

Add new NDK rules to the NDK docs #18523

Closed
wants to merge 1 commit into from
Closed

Conversation

cpsauer
Copy link
Contributor

@cpsauer cpsauer commented May 28, 2023

Hi wonderful Bazelers,

I'd happened to notice that the new NDK rules weren't referenced from the NDK docs, so I thought I'd toss up a quick change to help new users find their way.

Thanks for your consideration! Feel free (of course) to edit or push a different change if you'd prefer something else. (Was trying to strike a balance between the new rule being in their early stages and the old rule no longer being updated and not working for the past few years of NDKs. See #12889 for more context.)

Thanks,
Chris
(ex-Googler, compile_commands_extractor author, rules_boost collaborator, etc.)

@github-actions github-actions bot added awaiting-review PR is awaiting review from an assigned reviewer team-Documentation Documentation improvements that cannot be directly linked to other team labels labels May 28, 2023
@meteorcloudy meteorcloudy requested review from ted-xie and ahumesky and removed request for gregestren, fweikert and philomathing May 31, 2023 13:20
@meteorcloudy meteorcloudy added the team-Android Issues for Android team label May 31, 2023
@cpsauer
Copy link
Contributor Author

cpsauer commented Jul 21, 2023

Thanks so much for the approval, Alex!

@sgowroji
Copy link
Member

Hi @ahumesky, Since I can see that this PR has been approved, please let me know whether I should proceed with importing it.Thanks !

@ahumesky ahumesky added awaiting-PR-merge PR has been approved by a reviewer and is ready to be merge internally and removed awaiting-review PR is awaiting review from an assigned reviewer labels Jul 27, 2023
@ahumesky
Copy link
Contributor

ahumesky commented Jul 27, 2023

Sorry, forgot to relabel -- ready to import, thanks!

@github-actions github-actions bot removed the awaiting-PR-merge PR has been approved by a reviewer and is ready to be merge internally label Jul 27, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
team-Android Issues for Android team team-Documentation Documentation improvements that cannot be directly linked to other team labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants