Re: [PATCH] dim: Disallow remote branch deletions with 'dim push'

On Fri, 02 Jun 2023 03:16:20 -0700, Jani Nikula wrote: > > On Thu, 01 Jun 2023, Ashutosh Dixit wrote: > > An inadvertent 'dim push -d' can delete remote branches. Disallow such > > remote branch deletions. > > Please see > https://drm.pages.freedesktop.org/maintainer-tools/CONTRIBUTING.html > > >

Re: [PATCH] dim: Disallow remote branch deletions with 'dim push'

On Thu, 01 Jun 2023, Ashutosh Dixit wrote: > An inadvertent 'dim push -d' can delete remote branches. Disallow such > remote branch deletions. Please see https://drm.pages.freedesktop.org/maintainer-tools/CONTRIBUTING.html > > Signed-off-by: Ashutosh Dixit > --- > dim | 6 ++ > 1 file chan

[PATCH] dim: Disallow remote branch deletions with 'dim push'

An inadvertent 'dim push -d' can delete remote branches. Disallow such remote branch deletions. Signed-off-by: Ashutosh Dixit --- dim | 6 ++ 1 file changed, 6 insertions(+) diff --git a/dim b/dim index 126568e..e5899e6 100755 --- a/dim +++ b/dim @@ -1029,6 +1029,12 @@ function dim_push_bra