|Subject:||Re: allow non-fast-forward pushes to scratch branches?|
|Date:||Wed, 3 May 2017 13:50:51 +0700|
On Wed, May 3, 2017 at 5:34 AM, Eric Abrahamsen <address@hidden> wrote: > Or maybe I can just delete the branch altogether, and push a > new one with the same name? Past discussions on the same issue have listed this as a workaround, yes.
|[Prev in Thread]||Current Thread||[Next in Thread]|