unsplash/comment-on-pr
1
1
Fork 0
mirror of https://github.com/unsplash/comment-on-pr.git synced 2024-11-10 09:02:32 +08:00
Code Issues Projects Releases Packages Wiki Activity

Merge pull request #18 from lmammino/patch-1

Browse source 
More generic error message in case of duplication
This commit is contained in:
Aaron Klaassen 2020-03-20 16:23:54 -05:00 committed by GitHub
commit 4f102935dc
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
entrypoint.sh
View file

@ -40,7 +40,7 @@ coms = github.issue_comments(repo, pr_number)
duplicate = coms.find { |c| c["user"]["login"] == "github-actions[bot]" && c["body"] == message }
if duplicate
puts "The PR already contains a database change notification"
puts "The PR already contains this message"
exit(0)
end