Edward, On Wed, Jul 15, 2020 at 6:24 PM Edward K. Ream <[email protected]> wrote:
> I'd like to push some work to a new branch. > Are you familiar with the "fork" workflow of github? Where you can create a fork of leoInteg in the 'leo-editor' github space and you can push whatever branch you want. That branch is publicly visible but only in your fork. If there is something useful you want to merge into Félix's repository, then you can create a pull request which would allow Feliix to merge from your forked branch into his repository. On your local leoInteg git repository, you can have a remote pointing to both his repository and your fork. That way you can easily merge his latest changes into your branch. For the fork workflow you don't need commit access. It would be up to Félix to decide whether to merge the PR or not. There are plenty of reasons to prefer direct commit access, but based on another recent email from you, I had my doubts whether you are fully familiar with how PRs work. This was the "Should devel be the default branch?" thread where you wrote: > I just received and rejected PR #1615 > <https://github.com/leo-editor/leo-editor/pull/1615>. This PR was to be > applied to 6.0-final-rel. That's not how things work. We don't change > official releases for any reason. > > The author does not appear to have commit access, which is troubling. However, the default branch is "master", not "devel", so perhaps that explains the situation. Author's don't need commit access to create pull requests. HTH, Brian -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAO5X8CxT2yTYzqahu7Eg0MUPER6C7G1AYDq6RKjWR%3DPHEaKONQ%40mail.gmail.com.
