Index: tools/push-to-trunk/git_recipes.py |
diff --git a/tools/push-to-trunk/git_recipes.py b/tools/push-to-trunk/git_recipes.py |
index 8e84d4533b230814ac80bf4c66eef03cab40e04c..c0f0afbede5c17ba122ef1c56ab8a0afe81242b3 100644 |
--- a/tools/push-to-trunk/git_recipes.py |
+++ b/tools/push-to-trunk/git_recipes.py |
@@ -85,7 +85,7 @@ class GitRecipesMixin(object): |
if format: |
args.append("--format=%s" % format) |
if grep: |
- args.append("--grep=\"%s\"" % grep) |
+ args.append("--grep=\"%s\"" % grep.replace("\"", "\\\"")) |
if reverse: |
args.append("--reverse") |
if git_hash: |