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

[editorial] Profiles: drop unnecessary alias #1481

Merged

Conversation

chalin
Copy link
Contributor

@chalin chalin commented Oct 15, 2024

/cc @svrnm @theletterf

@lmolkova lmolkova added the Skip Changelog Label to skip the changelog check label Oct 16, 2024
@lmolkova lmolkova enabled auto-merge (squash) October 16, 2024 02:05
@lmolkova lmolkova merged commit 9deeb83 into open-telemetry:main Oct 16, 2024
14 checks passed
@chalin chalin deleted the chalin-im-profiles-drop-alias-2024-10-15 branch October 16, 2024 19:45
ChrsMark pushed a commit to ChrsMark/semantic-conventions that referenced this pull request Oct 18, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Skip Changelog Label to skip the changelog check
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

5 participants