From 5670759a5623fa4cef6cb0d37602bb41b7c34c5c Mon Sep 17 00:00:00 2001
From: Teddy Wing
Date: Thu, 19 Apr 2018 00:35:10 +0200
Subject: extract_data_from_pull_request_json(): Use real GitHub username

Get the username from the command line argument-loaded variable instead
of my hard-coded username.
---
 redprine | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/redprine b/redprine
index e664027..4069e95 100755
--- a/redprine
+++ b/redprine
@@ -82,7 +82,7 @@ function extract_data_from_pull_request_json () {
 				created_at
 			}) |
 			map(
-				select(.user == "teddywing")
+				select(.user == '"$GITHUB_USERNAME"')
 			)'
 }
 
-- 
cgit v1.2.3