official repository has been set