On Sat, Nov 19, 2016 at 7:12 AM, Jeroen Demeyer <jdeme...@cage.ugent.be> wrote:
> On 2016-11-19 11:23, David Roe wrote: > >> I mean that even if I checkout develop again before building Sage, it >> still takes a long time. >> > > You mean something like > > - checkout old branch (but don't build it) > - checkout new branch > - build Sage > > That's a known issue, but it's certainly not Sage-specific. It happens > because git doesn't track timestamps. Certainly. I'm just suggesting that we add a command to git-trac to make this operation less painful. David > > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To post to this group, send email to sage-devel@googlegroups.com. > Visit this group at https://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.