OK, I see, this has now happened to my patchbot on #15316.
Op woensdag 7 mei 2014 17:18:17 UTC+1 schreef Ralf Stephan: > > On Wed, May 7, 2014 at 5:08 PM, Peter Bruin <pjb...@gmail.com<javascript:> > > wrote: > >> Oh yes you're right. Making it the base branch is necessary too. >>> >> Something that worked for me is making the changes without committing >> them; then the patchbot won't undo those changes. >> > That will work until a ticket with "unsafe" changes is encountered, with > full rebuild in /tmp. > > Unfortunately, src/doc is deemed unsafe too by current patchbot: > https://github.com/robertwb/sage-patchbot/issues/22 > > -- 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.
