Skip to content

W-20630969 remove tool list and point to tool reference #546

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.

Sign up for GitHub

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

Closed
IsaacEldridge wants to merge 1 commit into from

remove tool list and point to tool reference

974fe6f
Select commit
Loading
Failed to load commit list.
Closed

W-20630969 remove tool list and point to tool reference #546

remove tool list and point to tool reference
974fe6f
Select commit
Loading
Failed to load commit list.
Terminology Check / Terminology Check succeeded Dec 18, 2025 in 3s

Check execution successful

Terminology Check ✅

  • The terminology used in the PR matches the guidelines.
View more details on Terminology Check