trouble w/ pushing commits -- "failed to push some refs"

>>>>> "Robert" == Robert Dodier <robert.dodier at gmail.com> writes:

    Robert> I did a git pull before trying to push stuff.
    Robert> I guess I should have mentioned that.

Sorry then, I have no further ideas.  A google search on the error
message indicates that git pull is the answer.  Perhaps you were
unlucky and someone else did a push between the time you did a pull
and wanted to do the push?   But maxima code isn't changing *that*
fast in general.

Ray