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.

1 files changed, 1 insertions, 1 deletions

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