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
body="Hi @${{ github.event.issue.pull_request.user.login }}, thank you for your contribution!
170
+
body="Hi @${{ inputs.user }}, thank you for your contribution!
173
171
174
172
:tada: Your pull request contains all required files for the new package: :tada:
175
173
176
174
${checkbox_list}
177
175
178
176
-- stdlib-bot"
179
177
else
180
-
body="Hi @${{ github.event.issue.pull_request.user.login }}, thank you for your contribution! Your pull request contains a new package, but is missing some of the required files.
178
+
body="Hi @${{ inputs.user }}, thank you for your contribution! Your pull request contains a new package, but is missing some of the required files.
181
179
182
180
Use the following checklist to keep track of the required files and which ones are still missing:
0 commit comments