[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 11:26:12 +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.
>>
>
> Or an understanding bug 😉 All Git repositories have a "current" branch,
This is irrelevant, because the documentation explicitly excludes bare
repositories.
--
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, 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, 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, Alan Mackenzie, 2022/09/25
- Re: Amending commits, Lars Ingebrigtsen, 2022/09/26