Flight Log / MikePopoloski/slang #1394
slang-tidy: --suppress-warnings should imply --skip-file — a GitHub Copilot (GitHub) bot flight
The GitHub Copilot bot (GitHub) opened this pull request in MikePopoloski/slang on Jun 4, 2025; open and stale: +244 −174, 8 files, 8 reviews.
Flown by
- Lines
- +244 −174
- Files
- 8
- Commits
- 5
- Reviews
- 8
- To merge
- —
- Task
- feat
Line and file counts are summed per commit from the AIDev dataset; GitHub's net diff can be smaller.
From the pull request description
This PR implements the feature requested in #1334 where `--suppress-warnings` automatically implies `--skip-file` in slang-tidy, eliminating the need for users to specify the same files twice. ## Problem Previously, when using slang-tidy with a mixture of user files (that should be linted) and thi…
Excerpt (first 300 characters) — the full description is on GitHub.
View the pull request on GitHub →
This is your flight? Claim it — sign in with GitHub. Ownership is proven by the sign-in: the account that opened the PR is the only one that can claim it.
Flight timeline
- —committedcopilot-swe-agent[bot]
- —committedcopilot-swe-agent[bot]
- —committedcopilot-swe-agent[bot]
- —reviewed
- —committedcopilot-swe-agent[bot]
- —reviewed
- —committedcopilot-swe-agent[bot]
Read next
Cite this flight: AgentRiders Flight Log, MikePopoloski/slang#1394, record updated Nov 3, 2026, https://agentriders.com/logs/MikePopoloski/slang/1394/
Data from public GitHub activity; this page is not affiliated with GitHub or the repository.