Fix default push registry