From 24ae0c4c73e2ec2cc79089f2b39d2aced7a3c83c Mon Sep 17 00:00:00 2001
From: Dan Halbert <halbert@halwitz.org>
Date: Fri, 10 Nov 2023 22:42:42 -0500
Subject: [PATCH] use raw string for grep regexp

---
 tools/ci_set_matrix.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/ci_set_matrix.py b/tools/ci_set_matrix.py
index 15a6cb3ab8..d050d8e44c 100755
--- a/tools/ci_set_matrix.py
+++ b/tools/ci_set_matrix.py
@@ -257,7 +257,7 @@ def set_docs(run: bool):
                 if pattern_doc.search(file) and (
                     (
                         subprocess.run(
-                            f"git diff -U0 $BASE_SHA...$HEAD_SHA {github_workspace + file} | grep -o -m 1 '^[+-]\/\/|'",
+                            rf"git diff -U0 $BASE_SHA...$HEAD_SHA {github_workspace + file} | grep -o -m 1 '^[+-]\/\/|'",
                             capture_output=True,
                             shell=True,
                         ).stdout