#1772: (git-pr-diff support) is complete in devel

29 views
Skip to first unread message

Edward K. Ream

unread,
Dec 8, 2020, 4:31:10 PM12/8/20
to leo-editor
This was a cowboy commit (without PR). It adds only one method, gdc.diff_pull_request.

#1772 explains how to use the new method in simple scripts. Imo, this is a great new addition to Leo.

Edward

Edward K. Ream

unread,
Dec 10, 2020, 10:32:16 AM12/10/20
to leo-editor
On Tuesday, December 8, 2020 at 3:31:10 PM UTC-6 Edward K. Ream wrote:

#1772 explains how to use the new method in simple scripts. Imo, this is a great new addition to Leo.

#1772 has just been updated. It is no longer necessary to specify the branch name. By defaults, diffs compare the current branch with devel.

Edward

Edward K. Ream

unread,
Dec 10, 2020, 10:56:43 AM12/10/20
to leo-editor
On Tuesday, December 8, 2020 at 3:31:10 PM UTC-6 Edward K. Ream wrote:

#1772 explains how to use the new method in simple scripts. Imo, this is a great new addition to Leo.

Warning:  at present the script shown can corrupt the @button node from which it is run.

I'll fix this asap.

Edward

Edward K. Ream

unread,
Dec 10, 2020, 1:03:36 PM12/10/20
to leo-editor
> Warning:  at present the script shown [in #1772] can corrupt the @button node from which it is run.

I have just created #1777 for this.

Edward

Edward K. Ream

unread,
Dec 10, 2020, 2:20:29 PM12/10/20
to leo-editor
On Thursday, December 10, 2020 at 12:03:36 PM UTC-6 Edward K. Ream wrote:
> Warning:  at present the script shown [in #1772] can corrupt the @button node from which it is run.

I have just created #1777 for this.

The fix has been merged into devel.

Edward
Reply all
Reply to author
Forward
0 new messages