Skip to content

docs: Add missing "Prior Art" link to no-empty-definitions.#662

Open
DavidAnson wants to merge 1 commit into
eslint:mainfrom
DavidAnson:patch-1
Open

docs: Add missing "Prior Art" link to no-empty-definitions.#662
DavidAnson wants to merge 1 commit into
eslint:mainfrom
DavidAnson:patch-1

Conversation

@DavidAnson
Copy link
Copy Markdown

Prerequisites checklist

AI acknowledgment

  • I did not use AI to generate this PR.
  • (If the above is not checked) I have reviewed the AI-generated content before submitting.

What is the purpose of this pull request?

Add a missing attribution.

What changes did you make? (Give an overview)

Added the missing attribution.

Related Issues

N/A

Is there anything you'd like reviewers to focus on?

For context, see other rules that reference same-named/same-behavior markdownlint rules as "Prior Art".

@eslint-github-bot
Copy link
Copy Markdown

Hi @DavidAnson!, thanks for the Pull Request

The pull request title isn't properly formatted. We ask that you update the pull request title to match this format, as we use it to generate changelogs and automate releases.

  • The commit message tag wasn't recognized. Did you mean "docs", "fix", or "feat"?
  • There should be a space following the initial tag and colon, for example 'feat: Message'.
  • The first letter of the tag should be in lowercase

To Fix: You can fix this problem by clicking 'Edit' next to the pull request title at the top of this page.

Read more about contributing to ESLint here

@eslintbot eslintbot added this to Triage May 24, 2026
@github-project-automation github-project-automation Bot moved this to Needs Triage in Triage May 24, 2026
@DavidAnson DavidAnson changed the title Add missing "Prior Art" link to no-empty-definitions documentation. docs: Add missing "Prior Art" link to no-empty-definitions documentation. May 24, 2026
@eslint-github-bot
Copy link
Copy Markdown

Hi @DavidAnson!, thanks for the Pull Request

The pull request title isn't properly formatted. We ask that you update the pull request title to match this format, as we use it to generate changelogs and automate releases.

  • The length of the commit message must be less than or equal to 72

To Fix: You can fix this problem by clicking 'Edit' next to the pull request title at the top of this page.

Read more about contributing to ESLint here

@DavidAnson DavidAnson changed the title docs: Add missing "Prior Art" link to no-empty-definitions documentation. docs: Add missing "Prior Art" link to no-empty-definitions. May 24, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

Status: Needs Triage

Development

Successfully merging this pull request may close these issues.

2 participants