Merge pull request #13677 from ethereum/welcome-external-contributors

Properly distinguish team members and external contributors
This commit is contained in:
r0qs 2022-11-03 14:56:38 -03:00 committed by GitHub
commit 2cc6610e40
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -23,15 +23,13 @@ jobs:
gh api graphql \ gh api graphql \
--raw-field organization="$ORGANIZATION" \ --raw-field organization="$ORGANIZATION" \
--raw-field query=' --raw-field query='
query($organization: String!, $cursor: String) { query($organization: String!) {
organization(login: $organization) { organization(login: $organization) {
membersWithRole(first: 100, after: $cursor) { team(slug: "Solidity") {
pageInfo { members(first: 100) {
hasNextPage, nodes {
endCursor login
} }
nodes {
login
} }
} }
} }
@ -39,7 +37,7 @@ jobs:
echo "CONTRIBUTOR_IS_ORG_MEMBER=$( echo "CONTRIBUTOR_IS_ORG_MEMBER=$(
jq \ jq \
--arg contributor $CONTRIBUTOR \ --arg contributor $CONTRIBUTOR \
'.data.organization.membersWithRole | any(.nodes[].login; . == $contributor)' \ '.data.organization.team.members | any(.nodes[].login; . == $contributor)' \
org_members.json org_members.json
)" >> $GITHUB_OUTPUT )" >> $GITHUB_OUTPUT