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

mdlint: Use named rules. #1813

Merged
merged 4 commits into from
Jul 19, 2021

Conversation

Oberon00
Copy link
Member

@Oberon00 Oberon00 commented Jul 13, 2021

We already had the rule names as comments, I don't think the numeric warning identifiers are very valuable.

@Oberon00 Oberon00 marked this pull request as ready for review July 13, 2021 09:41
@Oberon00 Oberon00 requested review from a team July 13, 2021 09:41
@arminru arminru added the editorial Editorial changes only (typos, changelog, ...). No content-related changes of any kind. label Jul 13, 2021
@arminru arminru requested a review from bogdandrutu July 13, 2021 10:56
@carlosalberto carlosalberto merged commit cb7fdb5 into open-telemetry:main Jul 19, 2021
@Oberon00 Oberon00 deleted the mdlint-named branch July 23, 2021 15:27
carlosalberto pushed a commit to carlosalberto/opentelemetry-specification that referenced this pull request Oct 31, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
editorial Editorial changes only (typos, changelog, ...). No content-related changes of any kind.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants