Git questions

[Mike Gran]

Hi,

I have a head (a "string-abstraction" branch) on my local clone of the
git repository that I'd like to upload to the one on gnu.org.  How do I
do that?

(I know this is a RTFM question, but, I just don't want to break
anything.)

Thanks,

Mike Gran