GitHub's new notifications: a case of regressive design | Heykuki News