Repository navigation

Warn when piped data is not used - #727

Closed

mathiasrw with Copilot wants to merge 2 commits into

mainfrom

copilot/add-warning-for-piped-data

Closed

Warn when piped data is not used#727
mathiasrw with Copilot wants to merge 2 commits into
mainfrom
copilot/add-warning-for-piped-data

Commits on Oct 12, 2026
- Initial plan
  Copilot
  authored
  b5ebe7a
- Warn when piped data is not used (#719)
  
  Copilot
  and
  mathiasrw
  authored
  0d78635