b72a46db68
Some checks failed
Update All Top Ranking Issues / update_top_ranking_issues (push) Has been cancelled
Triage Project Sync (#84) / Sync triage project (push) Has been cancelled
release_nightly / notify_on_failure (push) Has been cancelled
release_nightly / check_style (push) Has been cancelled
release_nightly / run_tests_windows (push) Has been cancelled
release_nightly / clippy_windows (push) Has been cancelled
release_nightly / bundle_linux_aarch64 (push) Has been cancelled
release_nightly / bundle_linux_x86_64 (push) Has been cancelled
release_nightly / bundle_mac_aarch64 (push) Has been cancelled
release_nightly / bundle_mac_x86_64 (push) Has been cancelled
release_nightly / bundle_windows_aarch64 (push) Has been cancelled
release_nightly / bundle_windows_x86_64 (push) Has been cancelled
release_nightly / build_nix_linux_x86_64 (push) Has been cancelled
release_nightly / build_nix_mac_aarch64 (push) Has been cancelled
release_nightly / update_nightly_tag (push) Has been cancelled
Hotfix Review Monitor / check-hotfix-reviews (push) Has been cancelled
Stale PR Review Reminder / check-stale-prs (push) Has been cancelled
Update Weekly Top Ranking Issues / update_top_ranking_issues (push) Has been cancelled
Bump collab-staging Tag / update-collab-staging-tag (push) Has been cancelled
compliance_check / scheduled_compliance_check (push) Has been cancelled
Single-commit orphan branch: full zed-industries/zed @ 8c74db0 source tree with a 3-file patch applied (no upstream history). Patch (crates/gpui_linux/src/linux/wayland/): - serial.rs: add SerialKind::KeyboardEnter - client.rs: store wl_keyboard.enter serial; add latest_serial_of() - window.rs: activate() uses keyboard-enter serial (Mutter focus gate) Mutter honors window activation only when the token carries the keyboard- focus serial from wl_keyboard.enter; GPUI used a stale mouse-press serial. See docs/tray-window-focus-wayland.md in logiguard. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
84 lines
3.3 KiB
YAML
84 lines
3.3 KiB
YAML
name: "Surface closed issues someone's commented on"
|
|
|
|
on:
|
|
issue_comment:
|
|
types:
|
|
- created
|
|
|
|
permissions:
|
|
contents: read
|
|
|
|
jobs:
|
|
add-to-project:
|
|
if: >
|
|
github.repository == 'zed-industries/zed' &&
|
|
github.event.issue.state == 'closed' &&
|
|
github.event.issue.pull_request == null &&
|
|
github.event.issue.type != null &&
|
|
github.event.issue.type.name == 'Bug' &&
|
|
github.event.comment.user.type != 'Bot'
|
|
runs-on: namespace-profile-2x4-ubuntu-2404
|
|
timeout-minutes: 5
|
|
steps:
|
|
- id: is-post-close-comment
|
|
uses: actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea # v7.0.1
|
|
with:
|
|
script: |
|
|
const closedAt = new Date(context.payload.issue.closed_at);
|
|
const commentedAt = new Date(context.payload.comment.created_at);
|
|
const diffSeconds = Math.abs(commentedAt - closedAt) / 1000;
|
|
if (diffSeconds <= 30) {
|
|
core.notice(`Skipping — comment was likely part of "Close with comment" (${diffSeconds}s gap)`);
|
|
return false;
|
|
}
|
|
return true;
|
|
|
|
- if: steps.is-post-close-comment.outputs.result == 'true'
|
|
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
|
|
|
|
- if: steps.is-post-close-comment.outputs.result == 'true'
|
|
id: check-staff
|
|
uses: actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea # v7.0.1
|
|
with:
|
|
github-token: ${{ steps.get-app-token.outputs.token }}
|
|
script: |
|
|
try {
|
|
const response = await github.rest.teams.getMembershipForUserInOrg({
|
|
org: 'zed-industries',
|
|
team_slug: 'staff',
|
|
username: context.payload.comment.user.login
|
|
});
|
|
return response.data.state === 'active';
|
|
} catch (error) {
|
|
// 404 means user is not a member
|
|
if (error.status === 404) {
|
|
return false;
|
|
}
|
|
throw error;
|
|
}
|
|
|
|
- if: steps.is-post-close-comment.outputs.result == 'true' && steps.check-staff.outputs.result == 'true'
|
|
env:
|
|
ISSUE_NUMBER: ${{ github.event.issue.number }}
|
|
run: |
|
|
echo "::notice::Skipping issue #$ISSUE_NUMBER - commenter is staff member"
|
|
|
|
# github-script outputs are JSON strings, so we compare against 'false' (string)
|
|
- if: steps.is-post-close-comment.outputs.result == 'true' && steps.check-staff.outputs.result == 'false'
|
|
env:
|
|
ISSUE_NUMBER: ${{ github.event.issue.number }}
|
|
COMMENT_USER_LOGIN: ${{ github.event.comment.user.login }}
|
|
run: |
|
|
echo "::notice::Adding issue #$ISSUE_NUMBER to project (comment by $COMMENT_USER_LOGIN)"
|
|
|
|
- if: steps.is-post-close-comment.outputs.result == 'true' && steps.check-staff.outputs.result == 'false'
|
|
uses: actions/add-to-project@244f685bbc3b7adfa8466e08b698b5577571133e # v1.0.2
|
|
with:
|
|
project-url: https://github.com/orgs/zed-industries/projects/73
|
|
github-token: ${{ steps.get-app-token.outputs.token }}
|