 e984ed82ef
			
		
	
	
		e984ed82ef
		
	
	
	
	
		
			
			That makes that repo automatically ready for use based on user actions like adding a new repo, switching an existing repo on, etc. This also lowers the priority of the "update" menu item since it shouldn't be needed any more. But leave it for now, just in case.