Revert edit of existing PR comment back to creating new comments#240
Merged
phillipj merged 1 commit intonodejs:masternodejs/github-bot:masterfrom Jun 15, 2019
phillipj:revert-edit-ci-commentphillipj/github-bot:revert-edit-ci-commentCopy head branch name to clipboard
Merged
Revert edit of existing PR comment back to creating new comments#240phillipj merged 1 commit intonodejs:masternodejs/github-bot:masterfrom phillipj:revert-edit-ci-commentphillipj/github-bot:revert-edit-ci-commentCopy head branch name to clipboard
phillipj merged 1 commit intonodejs:masternodejs/github-bot:masterfrom
phillipj:revert-edit-ci-commentphillipj/github-bot:revert-edit-ci-commentCopy head branch name to clipboard
Commits
Commits on Jun 15, 2019
jenkins: revert edit of existing comment back to create a new comment
Show description for 72712e1committed