diff --git a/script/get-preview-channel-changes b/script/get-preview-channel-changes index 6dfc6061be..df13959e72 100755 --- a/script/get-preview-channel-changes +++ b/script/get-preview-channel-changes @@ -9,6 +9,27 @@ const PULL_REQUEST_API_URL = "https://api.github.com/repos/zed-industries/zed/pulls"; const DIVIDER = "-".repeat(80); +// Maintain list manually, as our GitHub organization has community members in it. +const STAFF_MEMBERS = new Set([ + "as-cii", + "bennetbo", + "ConradIrwin", + "danilobleal", + "iamnbutler", + "JosephTLyons", + "jvmncs", + "maxbrunsfeld", + "maxdeviant", + "mikayla-maki", + "nathansobo", + "notpeter", + "osiewicz", + "rgbkrk", + "rtfeldman", + "SomeoneToIgnore", + "thorstenball", +]); + main(); async function main() { @@ -74,8 +95,11 @@ async function main() { } let credit = getCreditString(pullRequestNumber, contributor); + const isStaff = STAFF_MEMBERS.has(contributor); + contributor = isStaff ? `${contributor} (staff)` : contributor; console.log(`PR Title: ${pullRequest.title}`); + console.log(`Contributor: ${contributor}`); console.log(`Credit: (${credit})`); console.log("Release Notes:"); @@ -94,7 +118,7 @@ function getCreditString(pullRequestNumber, contributor) { credit += pullRequestMarkdownLink; } - if (contributor) { + if (contributor && !STAFF_MEMBERS.has(contributor)) { const contributorMarkdownLink = `[${contributor}](${GITHUB_URL}/${contributor})`; credit += `; thanks ${contributorMarkdownLink}`; }