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 issue link for introspecting select #16824

Closed
wants to merge 1 commit into from

Conversation

cpsauer
Copy link
Contributor

@cpsauer cpsauer commented Nov 23, 2022

Hi, wonderful Bazelers,

I was reading these docs and found myself looking for the relevant issue for select introspection. Since it took a bit of finding, I thought I'd propose adding a link to the issue to save time for future readers. Hopefully, that'll also help people subscribe to updates.

Cheers!
Chris
(ex-Googler)

Hi, wonderful Bazelers,

I was reading these docs and found myself looking for the relevant issue for select introspection. Since it took a bit of finding, I thought I'd propose adding a link to the issue to save time for future readers. Hopefully, that'll also help people subscribe to updates.

Cheers!
Chris
(ex-Googler)
@gregestren gregestren 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 Nov 23, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
team-Configurability platforms, toolchains, cquery, select(), config transitions 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.

3 participants