mirrored-actions/add-pr-comment
1
0
Fork 0
mirror of https://github.com/mshick/add-pr-comment.git synced 2025-12-31 14:20:32 +11:00
Code Issues Projects Releases Packages Wiki Activity

chore: repackage

Browse source
This commit is contained in:
Michael Shick 2020-04-08 16:45:55 -07:00
parent 35f26ee693
commit 5d9e844aad
No known key found for this signature in database
GPG key ID: ADF5BC9704BB4A61
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
dist/index.js vendored
View file

@ -2024,6 +2024,8 @@ async function run() {
payload: { pull_request: pullRequest, sha, repository },
} = github.context;
core.debug(github.context);
const { full_name: repoFullName } = repository;
let issueNumber;