Hi, Samuel Tardieu <[EMAIL PROTECTED]> writes:
> how did you setup the git repository? The branch heads are supposed to > be located under "/refs/heads/" on gcc.gnu.org, not under > "/refs/remotes/", where you generally find the remote references: > those branches aren't supposed to be remote on the master > repository. Indeed. I suppose you can still "mv .git/remotes/* .git/heads/"? Thanks, Ludovic.