aomp icon indicating copy to clipboard operation
aomp copied to clipboard

Remove DeepCode bot

Open JonChesterfield opened this issue 5 years ago • 10 comments
trafficstars

E.g. https://github.com/ROCm-Developer-Tools/llvm-project/pull/93

It's line noise. I don't have permissions to delete it.

JonChesterfield avatar Mar 24 '20 16:03 JonChesterfield

Also, this thing emails me, and I can't unsubscribe from it.

JonChesterfield avatar Mar 24 '20 18:03 JonChesterfield

Jon, looks like there was a PR merged on this. Can we close this?

gregrodgers avatar May 26 '20 11:05 gregrodgers

Sure. I haven't opened a PR for a while, can't find the one you're referring to and can't see how to check. I'll reopen this task if it comes back.

JonChesterfield avatar May 26 '20 12:05 JonChesterfield

Deepcode cruft is still with us.

JonChesterfield avatar Jun 09 '20 17:06 JonChesterfield

What is a DeepCode bot?

gregrodgers avatar Jun 09 '20 17:06 gregrodgers

Posts stuff that looks like:

deepcode-ci-bot bot commented 2 hours ago DeepCode failed to analyze this pull request Something went wrong despite trying multiple times, sorry about that. Please comment this pull request with "Retry DeepCode" to manually retry, or contact us so that a human can look into the issue. and, annoyingly, emails me this as well.

I think it's a symptom of microsoft buying github. https://www.deepcode.ai/tc

Pages on how to disable it were readily available back in March but are now suspiciously scarce. If you navigate to: https://github.com/apps/deepcode-ci-bot/installations/new you should see 'configure' which hopefully lets you stop it running.

JonChesterfield avatar Jun 09 '20 18:06 JonChesterfield

This spam bot is still with us. Currently annoyed by a warning about memcmp on a struct on the basis that it 'might contain padding', when it definitely doesn't.

JonChesterfield avatar Jul 16 '20 00:07 JonChesterfield

did this deepbot issue get resolved ? ie can we close this issue?

ronlieb avatar May 15 '21 11:05 ronlieb

a recent PR shows this is still an issue

ronlieb avatar May 16 '21 00:05 ronlieb

Not resolved. I think Greg has access to disable it, but the rest of us don't.

JonChesterfield avatar May 20 '21 15:05 JonChesterfield

I fixed this on my side by sending all email from github to spam, and presumably it isn't annoying other people to the same extent it did me, so I'll close this issue.

JonChesterfield avatar Nov 02 '23 23:11 JonChesterfield