Re: Staging Broken with last makelsr - incorrect TexInfo commandformat

[David Kastrup]

David Nalesnik <address@hidden> writes:

> On Wed, Jan 11, 2017 at 12:31 PM, David Kastrup <address@hidden> wrote:
>>
>> It's nicer to _remove_ the patch from staging instead of adding the
>> revert on top.  However, that requires more skills.  I can offer to do
>> this, but you'll still need to remove the patch on your side before
>> trying to push anything else.
>>
>
> Before this email arrived, I already pushed the revert to staging.
> Staging hasn't caught up with master yet.  If it's still reasonable to
> remove the commit and revert, that would be appreciated.  I could do
> with one fewer blot on the project history in my name!

I've removed commit and revert from staging.  Now you just need to make
sure that you don't repush them on your next attempt to push something:
you probably need some invocation of git reset --hard in order to do so.

-- 
David Kastrup