search

Justineo / github-hovercard

Neat hovercards for GitHub.
https://justineo.github.io/github-hovercard/
Other
1.83k stars 90 forks source link

Exclude bots #156

Open kidonng opened 3 years ago

kidonng commented 3 years ago

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

Justineo commented 3 years ago

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.

kidonng commented 3 years ago

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