Re: pushing to a new branch on server

[Federico Bruni]

Il giorno mar 31 mag 2016 alle 9:35, Benkő Pál <address@hidden> 
ha scritto:
> 2016-05-31 8:15 GMT+02:00 Federico Bruni <address@hidden>:
> >  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.
>
> perhaps
> git push origin translation:dev/fede/doc-it
> (without the leading slash)?

Yes, thanks!