Searched refs:gh_project (Results 1 – 1 of 1) sorted by relevance
31 local gh_project="$1"34 printf '%s: fetching PR %d for project %s\n' "$0" "$pr_number" "$gh_project"42 "https://api.github.com/repos/$gh_project/pulls/$pr_number/commits?per_page=100&page=$i" \65 git fetch --depth "$((PRlen+1))" "https://github.com/$gh_project" "pull/$pr_number/head"
