Skip to content

Conversation

@kfessel
Copy link
Contributor

@kfessel kfessel commented Apr 4, 2025

this ignores some line length warnings that are commonly ignored in PR review

  • inline comments exceeding hitting the 100 char limit
  • URL hitting that limit

Contribution description

Testing procedure

Issues/PRs references

@github-actions github-actions bot added the Area: tools Area: Supplementary tools label Apr 4, 2025
@kfessel kfessel force-pushed the p-vera-noisereduce branch 2 times, most recently from 78ffff9 to 1d935c0 Compare April 4, 2025 17:50
@github-actions github-actions bot added the Area: CI Area: Continuous Integration of RIOT components label Apr 4, 2025
@kfessel kfessel force-pushed the p-vera-noisereduce branch from fb05b02 to d739903 Compare April 4, 2025 22:14
@@ -1,37 +0,0 @@
name: check-commits
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I doubt it was on purpose to remove all those files? 👀

@crasbe
Copy link
Contributor

crasbe commented Nov 3, 2025

Replaced by #21671.

Also personally I disagree with disabling the warnings for inline comments. When the line is becoming soooo long, the purpose of the inline comment is not given anymore.

@crasbe crasbe closed this Nov 3, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Area: CI Area: Continuous Integration of RIOT components Area: tools Area: Supplementary tools

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants