| 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:
|
|
|