Fix doco of github notifications