I see:
[remote "origin"]
fetch = +refs/heads/*:refs/remotes/origin/*
url =
git://fedorahosted.org/git/elfutils.git
^^^^^^^^^^^^^^^^^^^^^^^
[branch "master"]
remote = origin
merge = refs/heads/master
[url "ssh://jeffkenton@git.fedorahosted.org/"]
pushinsteadof =
git://git.fedorahosted.org/
^^^^^^^^^^^^^^^^^^^^^^^^^^^
Is that OK?
The two URL prefixes must match exactly. Both hostnames resolve to the
same thing, but
git.fedorahosted.org is canonical for this use.
Thanks,
Roland