Javier Domingo <javier...@gmail.com> writes:
> I have just had the attached bash session, and I have no idea on what
> is going on.
> Any help appreciated,
> Javier Domingo
> javier@frodo:~/proyectos/pfc$ git push -vvv javier master
> Pushing to git@server:javier/pfc
> To git@server:javier/pfc
> ! [rejected] master -> master (non-fast-forward)
> error: failed to push some refs to 'git@server:javier/pfc'
> hint: Updates were rejected because a pushed branch tip is behind its remote
> hint: counterpart. Check out this branch and merge the remote changes
> hint: (e.g. 'git pull') before pushing again.
> hint: See the 'Note about fast-forwards' in 'git push --help' for details.
So push is going to git@server:javier/pfc repository, while ...
> javier@frodo:~/proyectos/pfc$ git fetch -vvv javier
> From server:javier/pfc
> = [up to date] master -> javier/master
... fetch/pull goes to server:javier/pfc repository. Are they the
In a usual set-up, an access to git@server:javier/pfc will first
locate the home directory for the user "git" (the token before "@"),
and then its subdirectory javier/pfc, e.g. /home/git/javier/pfc,
while an access to server:javier/pfc will first locate the home
directory of whatever username the ssh connection uses by default
(typically the local user but ~/.ssh/config may have "User"
directive for the server) and then its subdirectory javier/pfc,
e.g. /home/javier/javier/pfc. These two may be different locations.
Do these two commands show the same output?
$ git ls-remote git@server:javier/pfc refs/heads/master
$ git ls-remote server:javier/pfc refs/heads/master
If the above conjecture is correct, I suspect they don't.
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html