Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

double-beep: Watch irannovinclinic\.com #2882

Merged
merged 1 commit into from Apr 20, 2019
Merged

Conversation

SmokeDetector
Copy link
Member

double-beep requests the watch of the watch_keyword irannovinclinic\.com. See the MS search here and the Stack Exchange search here.

@metasmoke
Copy link
Contributor

irannovinclinic\.com has been seen in 2 true positives, 0 false positives, and 0 NAAs.

@tripleee
Copy link
Member

tripleee commented Apr 20, 2019

!!/approve

Sent with GitHawk

Approved with PullApprove

@makyen makyen merged commit 3908d59 into master Apr 20, 2019
@makyen makyen deleted the auto-blacklist-1555744829 branch April 20, 2019 07:53
@makyen
Copy link
Contributor

makyen commented Apr 20, 2019

@tripleee Sorry, I should have confirmed with you that you actually wanted this merged.

For a while now, doing a !!/approve from here on GitHub doesn't result in the PR getting merged. Even if you !!/approve here you still have to manually merge. I've tried letting it sit for quite some time (hours) without having it merge. Perhaps I'm mis-remembering, but I thought that these were automatically merged when !!/approved here and had passed CI.

When you !!/approve [PR #] from CHQ it does get merged, even fixing the common merge conflict that happens when things are added to the list after the PR is created.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants