Re: Staging Broken with last makelsr - incorrect TexInfo commandformat

[David Nalesnik]

On Wed, Jan 11, 2017 at 1:52 PM, David Kastrup <address@hidden> wrote:
> 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.
>

Thank you so much, David!