Re: Staging Broken with last makelsr - incorrect TexInfo commandformat

2017-01-12 Thread David Nalesnik
On Wed, Jan 11, 2017 at 10:44 AM, David Nalesnik wrote: > On Wed, Jan 11, 2017 at 10:25 AM, Trevor Daniels wrote: >> >> David Nalesnik wrote Wednesday, January 11, 2017 3:22 PM >> >> >>> Ok, so I will probably do >>> >>> git revert HEAD >>> >>> in my

Re: Staging Broken with last makelsr - incorrect TexInfo commandformat

2017-01-11 Thread David Nalesnik
On Wed, Jan 11, 2017 at 1:52 PM, David Kastrup wrote: > David Nalesnik writes: > >> On Wed, Jan 11, 2017 at 12:31 PM, David Kastrup wrote: >>> >>> It's nicer to _remove_ the patch from staging instead of adding the >>> revert on top.

Re: Staging Broken with last makelsr - incorrect TexInfo commandformat

2017-01-11 Thread David Kastrup
David Nalesnik writes: > On Wed, Jan 11, 2017 at 12:31 PM, David Kastrup 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

Re: Staging Broken with last makelsr - incorrect TexInfo commandformat

2017-01-11 Thread David Nalesnik
On Wed, Jan 11, 2017 at 12:31 PM, David Kastrup wrote: > David Nalesnik writes: > >> On Wed, Jan 11, 2017 at 10:25 AM, Trevor Daniels wrote: >>> >>> David Nalesnik wrote Wednesday, January 11, 2017 3:22 PM >>> >>> Ok, so I will

Re: Staging Broken with last makelsr - incorrect TexInfo commandformat

2017-01-11 Thread David Kastrup
David Nalesnik writes: > On Wed, Jan 11, 2017 at 10:25 AM, Trevor Daniels wrote: >> >> David Nalesnik wrote Wednesday, January 11, 2017 3:22 PM >> >> >>> Ok, so I will probably do >>> >>> git revert HEAD >>> >>> in my staging branch >>> >>> and push

Re: Staging Broken with last makelsr - incorrect TexInfo commandformat

2017-01-11 Thread David Nalesnik
On Wed, Jan 11, 2017 at 10:59 AM, James wrote: > Hello, > > > > On 11/01/17 16:44, David Nalesnik wrote: >> >> On Wed, Jan 11, 2017 at 10:25 AM, Trevor Daniels >> wrote: >>> >>> David Nalesnik wrote Wednesday, January 11, 2017 3:22 PM >>> >>> Ok, so I will

Re: Staging Broken with last makelsr - incorrect TexInfo commandformat

2017-01-11 Thread James
Hello, On 11/01/17 16:44, David Nalesnik wrote: On Wed, Jan 11, 2017 at 10:25 AM, Trevor Daniels wrote: David Nalesnik wrote Wednesday, January 11, 2017 3:22 PM Ok, so I will probably do git revert HEAD in my staging branch and push it to origin/staging. --- I

Re: Staging Broken with last makelsr - incorrect TexInfo commandformat

2017-01-11 Thread David Nalesnik
On Wed, Jan 11, 2017 at 10:25 AM, Trevor Daniels wrote: > > David Nalesnik wrote Wednesday, January 11, 2017 3:22 PM > > >> Ok, so I will probably do >> >> git revert HEAD >> >> in my staging branch >> >> and push it to origin/staging. >> >> --- >> >> I won't attempt to

Re: Staging Broken with last makelsr - incorrect TexInfo commandformat

2017-01-11 Thread Trevor Daniels
David Nalesnik wrote Wednesday, January 11, 2017 3:22 PM > Ok, so I will probably do > > git revert HEAD > > in my staging branch > > and push it to origin/staging. > > --- > > I won't attempt to clear the LSR queue in preparation for my patch > update (as I did) by running makelsr.py