Skip to content

Update unknown_license_other_12.RULE#3542

Closed
pombredanne wants to merge 1 commit intodevelopfrom
license-other-false-positive
Closed

Update unknown_license_other_12.RULE#3542
pombredanne wants to merge 1 commit intodevelopfrom
license-other-false-positive

Conversation

@pombredanne
Copy link
Copy Markdown
Member

Ensure this is detected as a solid sentence

Tasks

  • Reviewed contribution guidelines
  • PR is descriptively titled 📑 and links the original issue above 🔗
  • Tests pass -- look for a green checkbox ✔️ a few minutes after opening your PR
    Run tests locally to check for errors.
  • Commits are in uniquely-named feature branch and has no merge conflicts 📁
  • Looked for possible updates in documentation and added updates if applicable
  • Updated CHANGELOG.rst

Ensure this is detected as a solid sentence

Signed-off-by: Philippe Ombredanne <pombredanne@nexb.com>
@AyanSinhaMahapatra
Copy link
Copy Markdown
Member

Added this in #3545 instead.

@AyanSinhaMahapatra AyanSinhaMahapatra deleted the license-other-false-positive branch October 10, 2023 11:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants