git push to gerrit server no funciona al configurar git remote set-url –push, pero funciona si escribo la URL manualmente

Tengo problemas para pasar mi código de git a gerrit. Primero revisé el código así:

git clone ssh://user@location.com:22/path/to/code

Luego traté de configurar una url de inserción como esta:

git remote set-url --push origin "someotherlocation.com:/path/to/code HEAD:refs/for/master"

Cuando hago git push , devuelve este error:

 fatal: '/path/to/code HEAD:refs/for/master': not a Gerrit project fatal: Could not read from remote repository. Please make sure you have the correct access rights and the repository exists. 

Sin embargo, si solo escribo

git push someotherlocation.com:/path/to/code HEAD:refs/for/master

se empuja al server de Gerrit. ¿Por qué es esto y qué estoy haciendo mal? ¡Gracias!

Su command git remote establece la URL de inserción para, literalmente, someotherlocation.com:/path/to/code HEAD:refs/for/master . Se espera que una URL push sea solo la URL. El push refspec ( HEAD:refs/for/master refs HEAD:refs/for/master ) no es parte de la URL. Si el objective es evitar tener que escribir el refspec cada vez que sugiero que busque configurar un alias de Git o investigar la opción remote.<name>.push para .gitconfig (consulte git-config (1) ).