@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.