[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: feature/package-vc has been merged

From: Stefan Monnier
Subject: Re: feature/package-vc has been merged
Date: Thu, 10 Nov 2022 13:26:40 -0500
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux)

> (Btw, I am trying to force-push to the scratch branch but this appears
> not to work.  Wasn't that the point of a scratch branch?)

The repository does not allow force pushes.  There's no finer config as
far as I know.  You can still technically force push to any branch by
deleting the branch and pushing anew, i.e. something like:

    git push origin :scratch/foo
    git push origin HEAD:scratch/foo

We only tolerate that in scratch/* branches, tho.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]