Hi Bob, I was hoping I could trouble you to again make HEAD point to a different branch by default for GSL. We would like our 'develop-1' branch to be the default HEAD. I think the command will be:
git symbolic-ref HEAD refs/heads/develop-1 Also I'd like to ask for this as a feature request in the web interface - the GSL team prefers the default branch to be associated with a major version number (ie: v1, v2, etc) so for each major release we'll probably want to update the default HEAD. I know github has a pull down menu on their web interface which allows users to update the remote HEAD settings (like the command above). Perhaps savannah could do something similar? Many thanks, Patrick Alken On 10/30/2013 06:09 PM, Bob Proulx wrote: > Hi Patrick, > > Patrick Alken wrote: >> Thanks for your help earlier. We have imported a new git >> repository, under the branch 'master' - it looks like you changed >> the old repository to 'oldmaster'. Unfortunately when we do a clone >> of the repository, the default branch appears to be 'oldmaster' >> instead of 'master'. I don't know any way to change this remotely - >> is this something you can do for us? > > Drat. I didn't think about testing that when I did it. > > I don't know if it is something that can be done remotely or not. But > locally it is simply the name in the gsl.git/HEAD file. > > $ cat HEAD > ref: refs/heads/oldmaster > > I simply changed that to point to refs/heads/master to fix it. I just > now did a clone to test it and the branch is now master. > > $ git branch -l > * master > > Sorry about that. Fixed now. > >> The command appears to be: >> git symbolic-ref HEAD refs/heads/master > > Hmm... A new command! It edits the file and does the same thing as > the above. That would do it! I will add that command to the toolbox. > >> however this may need to be done directly on the savannah repository. > > Yes. Sorry again for missing that problem with the above. I should > have double checked with a checkout. > > Bob >
