Re: [Math] Compile only top-level package and below

2015-09-13 Thread Al Chou
Oh, yeah.  Well, after bringing the commits over via cherry-pick, the files could be edited to fix the package name and then committed, and then optionally interactive-rebased to squash the commits together.  But the above is equivalent to your patch strategy.  I do highly recommend interactive

Re: [Math] Compile only top-level package and below

2015-09-13 Thread Luc Maisonobe
Le 13/09/2015 01:22, Gilles a écrit : > Hi. > > On Sat, 05 Sep 2015 19:28:33 +0200, Luc Maisonobe wrote: >> Le 05/09/2015 01:47, Gilles a écrit : >>> On Fri, 04 Sep 2015 19:50:05 +0200, Thomas Neidhart wrote: On 09/04/2015 03:08 PM, Gilles wrote: > Hello. > > There are two branche

Re: [Math] Compile only top-level package and below

2015-09-13 Thread Luc Maisonobe
Hi Al, Le 13/09/2015 03:17, Al Chou a écrit : > You could use `git cherry-pick` to bring one or more commits from one branch > into another. Unfortunately, this does not work here, due to package renaming. Luc > > Al > - To