Exclude bots

Open kidonng opened this issue 5 years ago • 2 comments

Hovercard should be disabled for bots:

Screen Shot 2020-11-17 at 15 11 13

FYI, this is how Refined GitHub identify bots: https://github.com/sindresorhus/refined-github/blob/48bb7fee3d42575a223274e467102598b154ad0a/source/features/dim-bots.tsx

Nov 17 '20 07:11 kidonng

It may be hard to use this logic to cover all cases in GitHub Hovercard. Maybe we can maintain a list for known bots like github-actions, dependabot, etc.

Jan 15 '21 03:01 Justineo

I don't think it's necessary, people usually just ignore bots.

Mar 24 '21 17:03 kidonng