Re: Amending commits

[Stefan Monnier]

Gregory Heytings [2022-09-25 20:46:40] wrote:
> Yes, I said "by default": force pushes are disabled in the default settings
> of Git repositories, unless they have been enabled you cannot do that.

Not sure if this default has changed, but last time I checked the
default was to allow such force pushes (`emacs.git` and `elpa.git` have
explicitly changed this setting to disallow them).
You just need to specify the `--force` option when you push.

For those repositories like `emacs.git`, `--force` doesn't override the
server's wish, but you can still force push by first deleting the branch
and then pushing the new history.


        Stefan