[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Amending commits
From: |
Andreas Schwab |
Subject: |
Re: Amending commits |
Date: |
Mon, 26 Sep 2022 10:49:38 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux) |
On Sep 26 2022, Gregory Heytings wrote:
> Just try it yourself. git push origin --delete master, git config
> receive.denyDeleteCurrent ignore, git push origin --delete master.
So this is a documentation bug.
--
Andreas Schwab, SUSE Labs, schwab@suse.de
GPG Key fingerprint = 0196 BAD8 1CE9 1970 F4BE 1748 E4D4 88E3 0EEA B9D7
"And now for something completely different."
- Re: Amending commits, (continued)
- Re: Amending commits, Stefan Monnier, 2022/09/25
- Re: Amending commits, Gregory Heytings, 2022/09/25
- Re: Amending commits, Dmitry Gutov, 2022/09/25
- Re: Amending commits, Gregory Heytings, 2022/09/25
- Re: Amending commits, Stefan Monnier, 2022/09/25
- Re: Amending commits, Gregory Heytings, 2022/09/26
- Re: Amending commits, Andreas Schwab, 2022/09/26
- Re: Amending commits, Gregory Heytings, 2022/09/26
- Re: Amending commits, Andreas Schwab, 2022/09/26
- Re: Amending commits, Gregory Heytings, 2022/09/26
- Re: Amending commits,
Andreas Schwab <=
- Re: Amending commits, Gregory Heytings, 2022/09/26
- Re: Amending commits, Andreas Schwab, 2022/09/26
- Re: Amending commits, Gregory Heytings, 2022/09/26
- Re: Amending commits, Alan Mackenzie, 2022/09/25
- Re: Amending commits, Lars Ingebrigtsen, 2022/09/26