On Sunday, July 19, 2020 at 3:34:13 PM UTC-5, btheado wrote:
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.
>
I wasn't familiar then. I'll be using PR's from now on to
On Sun, Jul 19, 2020 at 3:34 PM Brian Theado wrote:
Are you familiar with the "fork" workflow of github?
>
I am now :-)
Félix's dev branch is protected, so I'll use this if necessary to suggest
additions to dev.
Edward
--
You received this message because you are subscribed to the Google Gro
On Sun, Jul 19, 2020 at 4:04 PM Félix wrote:
>
> btw I'm using this extension, recomended and made by the vscode dev team,
> to easily create and merge my own pull requests directly from vscode.
> https://github.com/Microsoft/vscode-pull-request-github
>
I've just installed this plugin.
Edward
Thanks Brian,
My thought also.
btw I'm using this extension, recomended and made by the vscode dev team,
to easily create and merge my own pull requests directly from vscode.
https://github.com/Microsoft/vscode-pull-request-github
Its nice because it know about the issues created on the git
Edward,
On Wed, Jul 15, 2020 at 6:24 PM Edward K. Ream 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 p
I'd like to push some work to a new branch.
Thanks.
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 leo-editor+unsubscr...@googlegroups.com.
To view this