diff options
| -rwxr-xr-x | redprine | 2 | 
1 files changed, 1 insertions, 1 deletions
| @@ -93,7 +93,7 @@ function extract_data_from_pull_request_json () {  				created_at  			}) |  			map( -				select(.user == '"$GITHUB_USERNAME"') +				select(.user == "'"$GITHUB_USERNAME"'")  			)'  } | 
