On Fri, Aug 05, 2016 at 11:06:36AM -0400, Leo Famulari wrote:
> Also, I can do the guile-2.0 update that Ludovic requested.

This I pushed as bd21159eba2cce3ca7226faa4772df64df06605d

> Okay, thanks! But, shouldn't we merge master into python-updates first?
> The python-updates branch was rather old.

I did the merge locally, but I can't push the result to Savannah. I
don't get any useful error messages:

$ git push origin python-updates
error: failed to push some refs to 'ssh://l...@git.sv.gnu.org/srv/git/guix.git'

Reply via email to