formal: fix minor typo in cherry-pick

mkrle · mkrle · commit 2acf9b612073 · 2026-01-27T20:34:19.000Z
Fix a minor typo in cherry-pick warning message. Fixes: #79 Signed-off-by: Milan Krstic <milan.krstic@gmail.com>
diff --git a/.github/scripts/check_formalities.sh b/.github/scripts/check_formalities.sh
@@ -246,7 +246,7 @@ check_body() {
 		if echo "$body" | grep -qF "(cherry picked from commit"; then
 			status_pass "Commit is marked as cherry-picked"
 		else
-			output_warn "Commit tog stable branch \`$BRANCH\` should be cherry-picked"
+			output_warn "Commit to stable branch \`$BRANCH\` should be cherry-picked"
 		fi
 	fi
 }

Original file line number	Diff line number	Diff line change
`@@ -246,7 +246,7 @@ check_body() {`
`246`	`246`	`if echo "$body" \| grep -qF "(cherry picked from commit"; then`
`247`	`247`	`status_pass "Commit is marked as cherry-picked"`
`248`	`248`	`else`
`249`		- output_warn "Commit tog stable branch \`$BRANCH\` should be cherry-picked"
	`249`	+ output_warn "Commit to stable branch \`$BRANCH\` should be cherry-picked"
`250`	`250`	`fi`
`251`	`251`	`fi`
`252`	`252`	`}`