Oops, that is my fault. I created that reference by mistake an didn't
deleted it. That reference can be deleted. I am currently on vacation
without easy access to a Git Client (yes, live without a Git Client is
possible). You can delete on your own or wait 10 days until i am back.