Matt: there seems to be a duplicate clean-up-root branch

20 views

Skip to first unread message

Edward K. Ream

unread,

Mar 15, 2020, 7:19:18 AM3/15/20

to leo-editor

I merged a branch called clean-up-root a few days ago.

Am I correct that the remaining clean-up-root branch can be deleted? If so, please do so.

Edward

Matt Wilkie

unread,

Mar 16, 2020, 4:49:34 PM3/16/20

to leo-editor

I merged a branch called clean-up-root a few days ago.

Am I correct that the remaining clean-up-root branch can be deleted? If so, please do so.

I split the work into clean-up-root and clean-up-roor-pr to separate the more time consuming stuff from the easy parts. The -pr branch is what you merged, isn't needed anymore and has been deleted (by you, appropriately).

I haven't updated the tracking status for issue #1077 yet. Something I should fix right now.

-matt

Edward K. Ream

unread,

Mar 16, 2020, 5:23:55 PM3/16/20

to leo-editor

Thanks for the clarification.

Edward

Reply all

Reply to author

Forward

0 new messages