sorry for the spam, will use a different tool to subscribe only to relevant stuff as the default Github integration is not good at filtering