You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: .github/workflows/join.yml
+4Lines changed: 4 additions & 0 deletions
Original file line number
Diff line number
Diff line change
@@ -58,6 +58,8 @@ jobs:
58
58
- name: Close issue
59
59
uses: peter-evans/close-issue@v2
60
60
with:
61
+
issue-number: ${{ github.event.issue.number }}
62
+
close-reason: not_planned
61
63
comment: |
62
64
It seems that the membership application was either not PGP signed at all, or signed with a key that is not currently in the Debian keyring (as offered by https://keyring.debian.org).
63
65
The [Debian GitHub](https://github.com/Debian) organization is intended for [Debian Developers (DD)](https://wiki.debian.org/DebianDeveloper).
@@ -74,6 +76,8 @@ jobs:
74
76
- name: Close issue
75
77
uses: peter-evans/close-issue@v2
76
78
with:
79
+
issue-number: ${{ github.event.issue.number }}
80
+
close-reason: not_planned
77
81
comment: |
78
82
Your GitHub login `${{ github.event.issue.user.login }}` does not match the username `${{ needs.keycheck.outputs.gh-user }}` in the form.
0 commit comments