mirror of
https://github.com/unsplash/comment-on-pr.git
synced 2024-09-20 07:36:02 +08:00
Don't pull PR's comments if we don't check duplicate
This commit is contained in:
parent
85a56be792
commit
5d96454a33
|
@ -37,9 +37,8 @@ else
|
||||||
pr_number = pr["number"]
|
pr_number = pr["number"]
|
||||||
end
|
end
|
||||||
|
|
||||||
coms = github.issue_comments(repo, pr_number)
|
|
||||||
|
|
||||||
if check_duplicate_msg == "true"
|
if check_duplicate_msg == "true"
|
||||||
|
coms = github.issue_comments(repo, pr_number)
|
||||||
duplicate = coms.find { |c| c["body"] == message }
|
duplicate = coms.find { |c| c["body"] == message }
|
||||||
|
|
||||||
if duplicate
|
if duplicate
|
||||||
|
|
Loading…
Reference in a new issue