message no. 174003
Posted by pi- in #github at 2019-06-26T12:13:10Z
I go into a particular repository -> settings -> notifications, and get "[checkbox] Active: We will send notification emails to the listed addresses when a push event is triggered."