From 04d5752774cc1ebb97b1df11acb5f9eaf2fd443e Mon Sep 17 00:00:00 2001
From: Teddy Wing
Date: Thu, 19 Apr 2018 20:47:56 +0200
Subject: extract_data_from_pull_request_json(): Quote username

When I switched this over to use the variable, I forgot to retain the
double quotes around the username string required by `jq`. Add these in
so that the username can be parsed as a properly quoted string.
---
 redprine | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/redprine b/redprine
index 309d8ef..4425ed1 100755
--- a/redprine
+++ b/redprine
@@ -93,7 +93,7 @@ function extract_data_from_pull_request_json () {
 				created_at
 			}) |
 			map(
-				select(.user == '"$GITHUB_USERNAME"')
+				select(.user == "'"$GITHUB_USERNAME"'")
 			)'
 }
 
-- 
cgit v1.2.3