remove obsolete github settings