build: limit search to stdlib repository and exit early if not good first PR

Planeshifter · Planeshifter · commit c5a083fde7e0 · 2025-03-06T17:26:44.000-05:00
---
type: pre_commit_static_analysis_report
description: Results of running static analysis checks when committing changes.
report:
  - task: lint_filenames
    status: passed
  - task: lint_editorconfig
    status: passed
  - task: lint_markdown
    status: na
  - task: lint_package_json
    status: na
  - task: lint_repl_help
    status: na
  - task: lint_javascript_src
    status: na
  - task: lint_javascript_cli
    status: na
  - task: lint_javascript_examples
    status: na
  - task: lint_javascript_tests
    status: na
  - task: lint_javascript_benchmarks
    status: na
  - task: lint_python
    status: na
  - task: lint_r
    status: na
  - task: lint_c_src
    status: na
  - task: lint_c_examples
    status: na
  - task: lint_c_benchmarks
    status: na
  - task: lint_c_tests_fixtures
    status: na
  - task: lint_shell
    status: passed
  - task: lint_typescript_declarations
    status: na
  - task: lint_typescript_tests
    status: na
  - task: lint_license_headers
    status: passed
---
diff --git a/.github/workflows/scripts/rate_limit_contributions b/.github/workflows/scripts/rate_limit_contributions
@@ -123,10 +123,17 @@ main() {
 	pr_details=$(github_api "GET" "/repos/${repo_owner}/${repo_name}/pulls/${pr_number}")
 	good_first_pr=$(echo "${pr_details}" | jq -r '.labels | any(.name == "Good First PR")')
 
+	# Check if the PR is labeled "Good First PR":
+	if [ "${good_first_pr}" != "true" ]; then
+		echo "PR is not labeled 'Good First PR'."
+		print_success
+		exit 0
+	fi
+
 	pr_author=$(echo "${pr_details}" | jq -r '.user.login')
 
 	# Fetch other PRs of the same user:
-	user_prs=$(github_api "GET" "/search/issues?q=state%3Aopen+author%3A${pr_author}+type%3Apr")
+	user_prs=$(github_api "GET" "/search/issues?q=repo%3A${repo_owner}%2F${repo_name}+state%3Aopen+author%3A${pr_author}+type%3Apr")
 
 	# Count number of PRs labeled "Good First PR":
 	num_good_first_prs=$(echo "${user_prs}" | jq -r '.items | map( select( .labels | any( .name == "Good First PR" ))) | length')
