On Fri, Jun 30, 2017 at 9:27 AM, vitalije <[email protected]> wrote:

> I don't know how to publish my branch. When I try to publish it in
> leo-editor/leo-editor.git I get:
> remote: Permission to leo-editor/leo-editor.git denied to vitalije
>

​I'll attempt to give you permission immediately.  Pushing a branch is
preferable to creating a pull request.

Having said that, your PR seems reasonable, but it will be more convenient
for everyone to be able to pull down your branch.​

Several months ago I have forked leo-editor and made a pull request from
> there. When I look at that forked repository github reports that it is 8
> commits ahead and 735 behind master. I have no idea how to synchronize them.
>

​It's easy.  From your branch, do git merge master.

Edward

-- 
You received this message because you are subscribed to the Google Groups 
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Reply via email to