delete .userprefs from GitHub