[PATCH] doc: Mention dim cherry-pick command in getting started page

The dim tool supports a cherry-pick that is a glorified version of the git command but adds additional metadata and checks if there are any follow-up commits referencing the one being cherry-picked. Let's document in the getting started page that the dim command should be used instead of just git

Re: [PATCH] doc: Mention dim cherry-pick command in getting started page

Am 07.07.22 um 11:51 schrieb Javier Martinez Canillas: The dim tool supports a cherry-pick that is a glorified version of the git command but adds additional metadata and checks if there are any follow-up commits referencing the one being cherry-picked. Let's document in the getting started pa

Re: [PATCH] doc: Mention dim cherry-pick command in getting started page

On Thu, Jul 07, 2022 at 12:06:44PM +0200, Thomas Zimmermann wrote: > > > Am 07.07.22 um 11:51 schrieb Javier Martinez Canillas: > > The dim tool supports a cherry-pick that is a glorified version of the git > > command but adds additional metadata and checks if there are any follow-up > > commits

Re: [PATCH] doc: Mention dim cherry-pick command in getting started page

Hello Rodrigo, Thanks for your feedback. On 7/7/22 20:50, Rodrigo Vivi wrote: > On Thu, Jul 07, 2022 at 12:06:44PM +0200, Thomas Zimmermann wrote: [snip] >>> diff --git a/getting-started.rst b/getting-started.rst >>> index ea672497982d..44043fb2e5b3 100644 >>> --- a/getting-started.rst >>> +++

Re: [PATCH] doc: Mention dim cherry-pick command in getting started page

On Thu, Jul 07, 2022 at 10:07:12PM +0200, Javier Martinez Canillas wrote: > Hello Rodrigo, > > Thanks for your feedback. > > On 7/7/22 20:50, Rodrigo Vivi wrote: > > On Thu, Jul 07, 2022 at 12:06:44PM +0200, Thomas Zimmermann wrote: > > [snip] > > >>> diff --git a/getting-started.rst b/getting-

Re: [PATCH] doc: Mention dim cherry-pick command in getting started page

On 7/7/22 23:08, Rodrigo Vivi wrote: > On Thu, Jul 07, 2022 at 10:07:12PM +0200, Javier Martinez Canillas wrote: [snip] >> I see the content of that page as a dim workflow summary and that's why I >> think that cherry-pick should be part of it (just like you have checkout, >> apply, push, etc). A

Re: [PATCH] doc: Mention dim cherry-pick command in getting started page

On Thu, Jul 07, 2022 at 11:11:40PM +0200, Javier Martinez Canillas wrote: > On 7/7/22 23:08, Rodrigo Vivi wrote: > > On Thu, Jul 07, 2022 at 10:07:12PM +0200, Javier Martinez Canillas wrote: > > [snip] > > >> I see the content of that page as a dim workflow summary and that's why I > >> think tha