Problem pushing the dev/kainhofer branch to git

[Reinhold Kainhofer]

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...
Done counting 0 objects.
Writing 0 objects...
Total 0 (delta 0), reused 0 (delta 0)
fatal: unable to create 'refs/heads/dev/kainhofer.lock': File exists
fatal: The remote end hung up unexpectedly
error: failed to push to 'ssh://address@hidden/srv/git/lilypond'


Pushing to the master branch works just fine, just dev/kainhofer does not 
work. Does anyone have any idea what I can do about this?

Cheers,
Reinhold

-- 
------------------------------------------------------------------
Reinhold Kainhofer, Vienna University of Technology, Austria
email: address@hidden, http://reinhold.kainhofer.com/
 * Financial and Actuarial Mathematics, TU Wien, http://www.fam.tuwien.ac.at/
 * K Desktop Environment, http://www.kde.org, KOrganizer maintainer
 * Chorvereinigung "Jung-Wien", http://www.jung-wien.at/