GitHub Users設定画面で未分類ユーザーのBot設定を促すUI #216
Description
背景
#146 で excludedUsers を companyGithubUsers.type に統合し、GitHub API の __typename === 'Bot' で自動Bot判定するようになった。
しかし org 固有の bot（iris-tech-bot, jtc-bot 等）は GitHub 上で通常の User アカウントとして活動しており、API からは自動検出できない。現状は GitHub Users 設定画面で手動で type='Bot' に設定する必要があるが、管理者がそこに気づきにくい。
提案
GitHub Users 設定画面で、未分類（type = null）のユーザーに対して Bot 設定を促す UI を追加する。
例:
- 未分類ユーザー数のバッジ表示
- フィルタで未分類ユーザーを絞り込めるようにする
- login に
botを含むユーザーに「Bot かも？」のヒント表示
注意
- login 名だけで自動 Bot 判定するのは誤検知リスクがあるため、あくまでサジェストに留める
jtcsudoのように login からは判断できないケースもあるため、最終判断は管理者に委ねる