Is it possible to change the ssh user temporarly for a \"git push remote master\" without messing up with .git/config or \"git remote\", or using the whole remote url?
Have you tried using the whole remote URL?
git push ssh://@/ :
and you will be prompted to provide the password