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'