they will remain available in the production registry. You can still add them by editing your project manifest, or by typing in the package name under Add package from git URL in the Package Manager.
