cgi/regproj.cgi: Remove obsolete warning about push --mirror