GitHubの通知

GitHubの購読とはでまとめたように、リポジトリやイシューを購読できる。アクティビティが発生したときに通知されたイシューやプルリクエストはNotificationsにリストされる。

個別のイシューやプルリクエストからUnsubscribeしても、一度通知されたイベントは通知として残るので、Notificationsを開いて通知を閉じていく必要がある。例えばDependabotが作ったプルリクエストをマージすると自動的にSubscribe状態となる。このマージイベントが通知に入るが、ここでUnsubscribeしても通知は消えない。