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.

1 files changed, 1 insertions, 1 deletions

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"'")
 			)'
 }