On Tue, May 20, 2014 at 4:51 PM, Robert Bradshaw < rober...@math.washington.edu> wrote:
> > On Mon, May 5, 2014 at 7:10 AM, Ralf Stephan <gtrw...@gmail.com> wrote: > >> 2. why does patchbot make and test twice per ticket, even with skip-base? > > It shouldn't, why are you seeing this? > This must have been a mistake on my part. I don't see it anymore. > > >> i.e., is it not worthwhile to make/test base, snapshot, make/test > >> ticket #1, reload snapshot, make/test ticket #2...? > >> With snapshot I mean an equivalent of cp -dpR / rsync / tar. > > I'd welcome such an option. > https://github.com/robertwb/sage-patchbot/issues/36 > >> 3. why not show the sage version the ticket was based and tested on > >> by patchbot on the trac blob? What reason is there to show "6.1.1" > >> when the ticket was tested by patchbots both a) by merging a develop > >> version into 6.1.1 (so it's develop anyway) and b) based on current > >> develop. > > Yes, this could be improved. We need a well defined difinition of "the > sage version the ticket was based and tested on", maybe the latest > version-like tag in its commit tree? > Agree. https://github.com/robertwb/sage-patchbot/issues/37 Regards, -- 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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
