[looping in Sylvain]
Hi Sylvain,
can you have a look at this? It seems something is broken on the server side.
To Reinhold,
maybe you can simply create yet another branch, eg. dev/musicxml. Once
it's fixed, we can delete one of the two.
2007/11/2, Reinhold Kainhofer <[EMAIL PROTECTED]>:
> I'm
I'm still having these problems pushing to the dev/kainhofer branch on
git.sv.gnu.org... Does anyone know the reason and what I can do to solve it?
I even tried deleting the remote dev/kainhofer branch, but that does not work
either with the same error message.
Currently, I can't push to dev/ka
Hi,
I'm having a problem when I try to push my local development commits to the
dev/kainhofer branch on the git server:
updating 'refs/heads/dev/kainhofer' using 'refs/heads/kainhofer'
from 1cfb12c2762d614ebf09980f31de14a007be6c3d
to a945d6d23581c973e6029d1db691afd147546603
Generating pack.
