Some @github.com productivity tips with @vivaldi.com
1. Pin important issues
2. Pin the notifications center, and set a periodic reload (like 5 minutes) so you don't have to worry again about GitHub not doing basic reload in 2026
3. Stack related issues + pull-request tabs so they are together
