lilypond-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: pushing to a new branch on server


From: Benkő Pál
Subject: Re: pushing to a new branch on server
Date: Tue, 31 May 2016 09:35:10 +0200

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)?

p



reply via email to

[Prev in Thread] Current Thread [Next in Thread]