Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
@mentions that don't rely on email -- provide another view (from within cocalc) of everywhere you were @mentioned recently, with links #3666
We store all the @mentions in a database table, so it will be fairly easy for us to provide another
Also, we could use the browser notifications api to make notifications appear.