pushing to a new branch on server

[Federico Bruni]

Hi all

Last week I've worked on updating the italian translation.
I always work on the translation branch and push to the translation 
branch. Sometimes I need to push my changes to a temporary branch on 
the server (because I want to make a backup before the weekend or 
finish the work at home during the weekend).

I could not push to a /dev/name/branch name. I had to use a short name 
without slashes:

git push origin translation:fedelibre-doc-it

while the following did not work:

git push origin translation:/dev/fede/doc-it

Not a big deal.. but I'd be curious to know what's the mistake.

Thanks
Federico