/2015/06/07/5-useful-gmail-filters-for-github-users/
https://radek.io/posts/5-useful-gmail-filters-for-github-users/