Update code review instructions for shell scripts (#7559)

achamayou · Copilot · web-flow · commit 27ee0eb1ba02 · 2026-01-07T15:54:22.000Z
Co-authored-by: Copilot &lt;175728472+Copilot@users.noreply.github.com&gt;
diff --git a/.github/copilot-instructions.md b/.github/copilot-instructions.md
@@ -1 +1,3 @@
 Never comment on code formatting when performing code reviews.
+
+When shell scripts or bash scripts are created or modified, if they contain any use of the pipe (|) operator, they must also set the pipefail option (set -o pipefail). Remind the PR author if they have missed that.

Original file line number	Diff line number	Diff line change
`@@ -1 +1,3 @@`
`1`	`1`	`Never comment on code formatting when performing code reviews.`
	`2`	`+`
	`3`	`+When shell scripts or bash scripts are created or modified, if they contain any use of the pipe (\|) operator, they must also set the pipefail option (set -o pipefail). Remind the PR author if they have missed that.`