[Savannah-help-public] [sr #106254] Change default git head to "devel" branch

Follow-up Comment #2, sr #106254 (project administration): Hello, The default branch can be changed for bare repositories. All you have to do is edit a file called "HEAD" (it's at the root of the repository), and make its first line = "ref: refs/heads/devel" (without quotation marks). ___

Re: [Savannah-help-public] question on project

On Sun, Feb 10, 2008 at 07:13:02AM +0100, Antonio Ceballos wrote: > Dear Savannah support team, > > I am the administrator of the KidChessBoard project. As you will see, I am > afraid that the project has not made good progress. I have recently changed > my original approach. I have taken gnuchess

[Savannah-help-public] [sr #106254] Change default git head to "devel" branch

Follow-up Comment #1, sr #106254 (project administration): Hi, I thought the default branch was always "master" in a Git repository. Can you explain what you'd like to do with further details? ___ Reply to this item at:

[Savannah-help-public] [sr #106241] please enable GITCVS for gsl

Follow-up Comment #2, sr #106241 (project administration): Thanks GITCVS appears to be working fine. Re gitweb, could you change the part which says "description Unnamed repository; edit this file to name it for gitweb." to be "description GNU Scientific Library" Thank you. _