Follow-up Comment #1, sr #111282 (group administration):

Basically you can do anything that git push will let you do. Interactive shell
is not provided.

If you want to change from master to trunk or devel or main or something then
currently there is no way to do this yourself.  You will need to submit a
ticket to have this done.  We are happy to do it.



    _______________________________________________________

Reply to this item at:

  <https://savannah.nongnu.org/support/?111282>

_______________________________________________
Message sent via Savannah
https://savannah.nongnu.org/

Attachment: signature.asc
Description: PGP signature

Reply via email to