no github synced notification on stud