File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed
.github/workflows/scripts Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -38,7 +38,7 @@ set -o pipefail
38
38
pr_number=" $1 "
39
39
40
40
# Threshold of open "Good First PR"s above which to post comment:
41
- max_good_first_prs=5
41
+ max_good_first_prs=10
42
42
43
43
# GitHub API base URL:
44
44
github_api_url=" https://api.github.com"
@@ -133,7 +133,7 @@ main() {
133
133
pr_author=$( echo " ${pr_details} " | jq -r ' .user.login' )
134
134
135
135
# Fetch other PRs of the same user:
136
- user_prs=$( github_api " GET" " /search/issues?q=repo%3A${repo_owner} %2F${repo_name} +state%3Aopen+ author%3A${pr_author} +type%3Apr" )
136
+ user_prs=$( github_api " GET" " /search/issues?q=repo%3A${repo_owner} %2F${repo_name} +author%3A${pr_author} +type%3Apr" )
137
137
138
138
# Count number of PRs labeled "Good First PR":
139
139
num_good_first_prs=$( echo " ${user_prs} " | jq -r ' .items | map( select( .labels | any( .name == "Good First PR" ))) | length' )
You can’t perform that action at this time.
0 commit comments