Github interface notifications

@eraserhd I’m asking because I first noticed it with a push from @mawww which fixed an issue that @alexherbo2 opened back in April I think.

When I go back to the project itself which according to Github, even by not watching it, I should have received a notification, but I never did.

Screenshot_2019-10-10_15-45-19