> 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://[email protected]/"]
> 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
_______________________________________________
elfutils-devel mailing list
[email protected]
https://lists.fedorahosted.org/mailman/listinfo/elfutils-devel