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

[Cyril Zorin]

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).



    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/support/?106254>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/