mirror of
https://github.com/zed-industries/zed.git
synced 2026-05-24 05:25:18 +00:00
Fixes the casing of the remaining names and adjust the script to allow any casing of handles. Release Notes: - N/A
150 lines
5.3 KiB
YAML
150 lines
5.3 KiB
YAML
# Labels pull requests by author: 'bot' for bot accounts, 'staff' for
|
|
# staff team members, 'guild' for guild members, 'first contribution' for
|
|
# first-time external contributors.
|
|
name: PR Labeler
|
|
|
|
on:
|
|
pull_request_target:
|
|
types: [opened]
|
|
|
|
permissions:
|
|
contents: read
|
|
|
|
jobs:
|
|
check-authorship-and-label:
|
|
if: github.repository == 'zed-industries/zed'
|
|
runs-on: namespace-profile-2x4-ubuntu-2404
|
|
timeout-minutes: 5
|
|
steps:
|
|
- id: get-app-token
|
|
uses: actions/create-github-app-token@f8d387b68d61c58ab83c6c016672934102569859 # v3.0.0
|
|
with:
|
|
app-id: ${{ secrets.ZED_COMMUNITY_BOT_APP_ID }}
|
|
private-key: ${{ secrets.ZED_COMMUNITY_BOT_PRIVATE_KEY }}
|
|
owner: zed-industries
|
|
|
|
- id: apply-authorship-label
|
|
uses: actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea # v7.0.1
|
|
with:
|
|
github-token: ${{ steps.get-app-token.outputs.token }}
|
|
script: |
|
|
const BOT_LABEL = 'bot';
|
|
const STAFF_LABEL = 'staff';
|
|
const GUILD_LABEL = 'guild';
|
|
const FIRST_CONTRIBUTION_LABEL = 'first contribution';
|
|
const STAFF_TEAM_SLUG = 'staff';
|
|
const GUILD_MEMBERS = [
|
|
'11happy',
|
|
'AidanV',
|
|
'AmaanBilwar',
|
|
'MostlyKIGuess',
|
|
'OmChillure',
|
|
'Palanikannan1437',
|
|
'Shivansh-25',
|
|
'SkandaBhat',
|
|
'TwistingTwists',
|
|
'YEDASAVG',
|
|
'Ziqi-Yang',
|
|
'alanpjohn',
|
|
'arjunkomath',
|
|
'austincummings',
|
|
'ayushk-1801',
|
|
'criticic',
|
|
'dongdong867',
|
|
'emamulandalib',
|
|
'eureka928',
|
|
'feitreim',
|
|
'iam-liam',
|
|
'iksuddle',
|
|
'ishaksebsib',
|
|
'lingyaochu',
|
|
'loadingalias',
|
|
'marcocondrache',
|
|
'mchisolm0',
|
|
'nairadithya',
|
|
'nihalxkumar',
|
|
'notJoon',
|
|
'polyesterswing',
|
|
'prayanshchh',
|
|
'razeghi71',
|
|
'sarmadgulzar',
|
|
'seanstrom',
|
|
'th0jensen',
|
|
'tommyming',
|
|
'transitoryangel',
|
|
'virajbhartiya',
|
|
];
|
|
|
|
const pr = context.payload.pull_request;
|
|
const author = pr.user.login;
|
|
|
|
if (pr.user.type === 'Bot') {
|
|
await github.rest.issues.addLabels({
|
|
owner: context.repo.owner,
|
|
repo: context.repo.repo,
|
|
issue_number: pr.number,
|
|
labels: [BOT_LABEL]
|
|
});
|
|
console.log(`PR #${pr.number} by ${author}: labeled '${BOT_LABEL}' (user type: '${pr.user.type}')`);
|
|
return;
|
|
}
|
|
|
|
let isStaff = false;
|
|
try {
|
|
const response = await github.rest.teams.getMembershipForUserInOrg({
|
|
org: 'zed-industries',
|
|
team_slug: STAFF_TEAM_SLUG,
|
|
username: author
|
|
});
|
|
isStaff = response.data.state === 'active';
|
|
} catch (error) {
|
|
if (error.status !== 404) {
|
|
throw error;
|
|
}
|
|
}
|
|
|
|
if (isStaff) {
|
|
await github.rest.issues.addLabels({
|
|
owner: context.repo.owner,
|
|
repo: context.repo.repo,
|
|
issue_number: pr.number,
|
|
labels: [STAFF_LABEL]
|
|
});
|
|
console.log(`PR #${pr.number} by ${author}: labeled '${STAFF_LABEL}' (staff team member)`);
|
|
return;
|
|
}
|
|
|
|
const authorLower = author.toLowerCase();
|
|
const isGuildMember = GUILD_MEMBERS.some(
|
|
(member) => member.toLowerCase() === authorLower
|
|
);
|
|
if (isGuildMember) {
|
|
await github.rest.issues.addLabels({
|
|
owner: context.repo.owner,
|
|
repo: context.repo.repo,
|
|
issue_number: pr.number,
|
|
labels: [GUILD_LABEL]
|
|
});
|
|
console.log(`PR #${pr.number} by ${author}: labeled '${GUILD_LABEL}' (guild member)`);
|
|
// No early return: guild members can also get 'first contribution'
|
|
}
|
|
|
|
// We use inverted logic here due to a suspected GitHub bug where first-time contributors
|
|
// get 'NONE' instead of 'FIRST_TIME_CONTRIBUTOR' or 'FIRST_TIMER'.
|
|
// https://github.com/orgs/community/discussions/78038
|
|
// This will break if GitHub ever adds new associations.
|
|
const association = pr.author_association;
|
|
const knownAssociations = ['CONTRIBUTOR', 'COLLABORATOR', 'MEMBER', 'OWNER', 'MANNEQUIN'];
|
|
|
|
if (knownAssociations.includes(association)) {
|
|
console.log(`PR #${pr.number} by ${author}: not a first-time contributor (association: '${association}')`);
|
|
return;
|
|
}
|
|
|
|
await github.rest.issues.addLabels({
|
|
owner: context.repo.owner,
|
|
repo: context.repo.repo,
|
|
issue_number: pr.number,
|
|
labels: [FIRST_CONTRIBUTION_LABEL]
|
|
});
|
|
console.log(`PR #${pr.number} by ${author}: labeled '${FIRST_CONTRIBUTION_LABEL}' (association: '${association}')`);
|