Re: master c80349352f0 2/2: Revert "Add comment-start-line-regexp (bug#80837)"

Michael Albinus [07/Aug 12:54pm +02] wrote:
> Sean Whitton <[email protected]> writes:
>
> Hi Sean,
>
>>> branch: master
>>> commit c80349352f0159704339dbe284af8a9c8a94a730
>>> Author: Michael Albinus <[email protected]>
>>> Commit: Michael Albinus <[email protected]>
>>>
>>>     Revert "Add comment-start-line-regexp (bug#80837)"
>>>
>>>     This reverts commit 3735384b193617a912fbf6d25844041ed288bf28.
>>
>> Huh?
>>
>> This was the LLM-free version of the commit.
>
> Yes. I was irritated, because I tried to push to master, and got the
> error message
>
> --8<---------------cut here---------------start------------->8---
> remote: Checking connectivity: 28, done.
> remote: ERROR:
> remote: ERROR: Your push was rejected because it contained the commit
> remote: ERROR: '3735384b193617a912fbf6d25844041ed288bf28' in 'master'.
> remote: ERROR:
> To git.sv.gnu.org:/srv/git/emacs.git
>  ! [remote rejected]         master -> master (pre-receive hook declined)
> error: failed to push some refs to 'git.sv.gnu.org:/srv/git/emacs.git'
> --8<---------------cut here---------------end--------------->8---
>
> No further hint what to do. Therefore, I tried to remove this commit as
> first reaction, but this didn't help. Only a 'git pull --revert' solved
> the problem, but this I tried after the removal of the commit.
>
> Obviously a pilot error, but I'm not a git expert, and there was no
> further hint ...

This is frustrating because now we have a commit in our history which
claims that it reverts a commit that does not exist.

Please ask for help next time, instead.  I've restored the change.

-- 
Sean Whitton