Added forgotten check to github push notifications.